Manat Mustafa

According to our database, Manat Mustafa authored at least 17 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On diagonal functions for equivalence relations.

Serikzhan A. Badaev, Nikolay A. Bazhenov, Birzhan S. Kalmurzayev, Manat Mustafa

Arch. Math. Log., May, 2024

On Learning Families of Ideals in Lattices and Boolean Algebras.

Nikolay Bazhenov, Manat Mustafa

Proceedings of the Theory and Applications of Models of Computation, 2024

On Arithmetical Numberings in Reverse Mathematics.

Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa

Proceedings of the Twenty Years of Theoretical and Practical Synergies, 2024

2022

The algebraic and geometric classification of nilpotent right alternative algebras.

Nurlan Ismailov, Ivan Kaygorodov, Manat Mustafa

Period. Math. Hung., 2022

Rogers semilattices of punctual numberings.

Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev

Math. Struct. Comput. Sci., 2022

Rogers semilattices of limitwise monotonic numberings.

Nikolay Bazhenov, Manat Mustafa, Zhansaya Tleuliyeva

Math. Log. Q., 2022

The first-order theory of the computably enumerable equivalence relations in the uncountable setting.

Uri Andrews, Steffen Lempp, Manat Mustafa, Noah David Schweber

J. Log. Comput., 2022

On Two Types of Concept Lattices in the Theory of Numberings.

Nikolay Bazhenov, Manat Mustafa, Anvar M. Nurakunov

Proceedings of the Theory and Applications of Models of Computation, 2022

2021

Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy.

Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev, Luca San Mauro

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2020

Classifying equivalence relations in the Ershov hierarchy.

Nikolay Bazhenov, Manat Mustafa, Luca San Mauro, Andrea Sorbi, Mars M. Yamaleev

Arch. Math. Log., 2020

Semilattices of Punctual Numberings.

Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev

Proceedings of the Theory and Applications of Models of Computation, 2020

2019

Reductions between types of numberings.

Ian Herbert, Sanjay Jain, Steffen Lempp, Manat Mustafa, Frank Stephan

Ann. Pure Appl. Log., 2019

Elementary theories and hereditary undecidability for semilattices of numberings.

Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev

Arch. Math. Log., 2019

Computable Isomorphisms of Distributive Lattices.

Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev

Proceedings of the Theory and Applications of Models of Computation, 2019

Bounded Reducibility for Computable Numberings.

Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev

Proceedings of the Computing with Foresight and Industry, 2019

2015

Friedberg numberings in the Ershov hierarchy.

Serikzhan A. Badaev, Manat Mustafa, Andrea Sorbi

Arch. Math. Log., 2015

2012

Rogers semilattices of families of two embedded sets in the Ershov hierarchy.

Serikzhan A. Badaev, Manat Mustafa, Andrea Sorbi

Math. Log. Q., 2012