Rogers semilattices of families of two embedded sets in the Ershov hierarchy. - Serikzhan A. Badaev; Manat Mustafa; Andrea Sorbi (Math. Log. Q., 2012)

Friedberg numberings in the Ershov hierarchy. - Serikzhan A. Badaev; Manat Mustafa; Andrea Sorbi (Arch. Math. Log., 2015)

Bounded Reducibility for Computable Numberings. - Nikolay Bazhenov 001; Manat Mustafa; Sergei Ospichev (CiE, 2019)

Computable Isomorphisms of Distributive Lattices. - Nikolay Bazhenov 001; Manat Mustafa; Mars M. Yamaleev (TAMC, 2019)

Elementary theories and hereditary undecidability for semilattices of numberings. - Nikolay Bazhenov 001; Manat Mustafa; Mars M. Yamaleev (Arch. Math. Log., 2019)

Reductions between types of numberings. - Ian Herbert; Sanjay Jain 001; Steffen Lempp; Manat Mustafa; Frank Stephan 001 (Ann. Pure Appl. Log., 2019)

Semilattices of Punctual Numberings. - Nikolay Bazhenov 001; Manat Mustafa; Sergei Ospichev (TAMC, 2020)

Classifying equivalence relations in the Ershov hierarchy. - Nikolay Bazhenov 001; Manat Mustafa; Luca San Mauro; Andrea Sorbi; Mars M. Yamaleev (Arch. Math. Log., 2020)

Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy. - Nikolay Bazhenov 001; Manat Mustafa; Sergei Ospichev; Luca San Mauro (LORI, 2021)

On Two Types of Concept Lattices in the Theory of Numberings. - Nikolay Bazhenov 001; Manat Mustafa; Anvar M. Nurakunov (TAMC, 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)

Rogers semilattices of limitwise monotonic numberings. - Nikolay Bazhenov 001; Manat Mustafa; Zhansaya Tleuliyeva (Math. Log. Q., 2022)

Rogers semilattices of punctual numberings. - Nikolay Bazhenov 001; Manat Mustafa; Sergei Ospichev (Math. Struct. Comput. Sci., 2022)

The algebraic and geometric classification of nilpotent right alternative algebras. - Nurlan Ismailov; Ivan Kaygorodov; Manat Mustafa (Period. Math. Hung., 2022)

On Arithmetical Numberings in Reverse Mathematics. - Nikolay Bazhenov 001; Marta Fiori-Carones; Manat Mustafa (CiE, 2024)

On Learning Families of Ideals in Lattices and Boolean Algebras. - Nikolay Bazhenov 001; Manat Mustafa (TAMC, 2024)

On diagonal functions for equivalence relations. - Serikzhan A. Badaev; Nikolay A. Bazhenov; Birzhan S. Kalmurzayev; Manat Mustafa (Arch. Math. Log., 2024)

On Learning Existentially Definable Subsets in a Computable Structure. - Nikolay Bazhenov 001; Manat Mustafa (CiE, 2025)

On learning down-sets in quasi-orders, and ideals in Boolean algebras. - Nikolay Bazhenov 001; Manat Mustafa (Theory Comput. Syst., 2025)