Manat Mustafa

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 15

Top Topics

Approximate Reasoning

Granular Computing

Recursively Enumerable

Top Venues

Arch. Math. Log.

Math. Struct. Comput. Sci.

Publications

Serikzhan A. Badaev, Nikolay A. Bazhenov, Birzhan S. Kalmurzayev, Manat Mustafa
On diagonal functions for equivalence relations. Arch. Math. Log. 63 (3-4) (2024)
Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa
On Arithmetical Numberings in Reverse Mathematics. CiE (2024)
Nikolay Bazhenov, Manat Mustafa
On Learning Families of Ideals in Lattices and Boolean Algebras. TAMC (2024)
Uri Andrews, Steffen Lempp, Manat Mustafa, Noah David Schweber
The first-order theory of the computably enumerable equivalence relations in the uncountable setting. J. Log. Comput. 32 (1) (2022)
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
Rogers semilattices of punctual numberings. Math. Struct. Comput. Sci. 32 (2) (2022)
Nikolay Bazhenov, Manat Mustafa, Zhansaya Tleuliyeva
Rogers semilattices of limitwise monotonic numberings. Math. Log. Q. 68 (2) (2022)
Nurlan Ismailov, Ivan Kaygorodov, Manat Mustafa
The algebraic and geometric classification of nilpotent right alternative algebras. Period. Math. Hung. 84 (1) (2022)
Nikolay Bazhenov, Manat Mustafa, Anvar M. Nurakunov
On Two Types of Concept Lattices in the Theory of Numberings. TAMC (2022)
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev, Luca San Mauro
Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy. LORI (2021)
Nikolay Bazhenov, Manat Mustafa, Luca San Mauro, Andrea Sorbi, Mars M. Yamaleev
Classifying equivalence relations in the Ershov hierarchy. Arch. Math. Log. 59 (7-8) (2020)
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
Semilattices of Punctual Numberings. TAMC (2020)
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
Bounded Reducibility for Computable Numberings. CiE (2019)
Ian Herbert, Sanjay Jain, Steffen Lempp, Manat Mustafa, Frank Stephan
Reductions between types of numberings. Ann. Pure Appl. Log. 170 (12) (2019)
Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev
Computable Isomorphisms of Distributive Lattices. TAMC (2019)
Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev
Elementary theories and hereditary undecidability for semilattices of numberings. Arch. Math. Log. 58 (3-4) (2019)
Serikzhan A. Badaev, Manat Mustafa, Andrea Sorbi
Friedberg numberings in the Ershov hierarchy. Arch. Math. Log. 54 (1-2) (2015)
Serikzhan A. Badaev, Manat Mustafa, Andrea Sorbi
Rogers semilattices of families of two embedded sets in the Ershov hierarchy. Math. Log. Q. 58 (4-5) (2012)