Manat Mustafa

20 papers C 8Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2025 C conf
On Learning Existentially Definable Subsets in a Computable Structure.
CiE
Nikolay Bazhenov, Manat Mustafa
2025 C conf
On a Computability-Theoretic Approach to Boolean-Valued Models.
TAMC
Nikolay Bazhenov, Manat Mustafa
2025 J jnl
On learning down-sets in quasi-orders, and ideals in Boolean algebras.
Theory Comput. Syst.
Nikolay Bazhenov, Manat Mustafa
2024 C conf
On Arithmetical Numberings in Reverse Mathematics.
CiE
Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa
2024 C conf
On Learning Families of Ideals in Lattices and Boolean Algebras.
TAMC
Nikolay Bazhenov, Manat Mustafa
2024 J jnl
On diagonal functions for equivalence relations.
Arch. Math. Log.
Serikzhan A. Badaev, Nikolay A. Bazhenov, Birzhan S. Kalmurzayev, Manat Mustafa
2022 C conf
On Two Types of Concept Lattices in the Theory of Numberings.
TAMC
Nikolay Bazhenov, Manat Mustafa, Anvar M. Nurakunov
2022 J jnl
Rogers semilattices of limitwise monotonic numberings.
Math. Log. Q.
Nikolay Bazhenov, Manat Mustafa, Zhansaya Tleuliyeva
2022 J jnl
Rogers semilattices of punctual numberings.
Math. Struct. Comput. Sci.
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
2022 J jnl
The algebraic and geometric classification of nilpotent right alternative algebras.
Period. Math. Hung.
Nurlan Ismailov, Ivan Kaygorodov, Manat Mustafa
2022 J jnl
The first-order theory of the computably enumerable equivalence relations in the uncountable setting.
J. Log. Comput.
Uri Andrews, Steffen Lempp, Manat Mustafa, Noah David Schweber
2021 — conf
Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy.
LORI
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev, Luca San Mauro
2020 J jnl
Classifying equivalence relations in the Ershov hierarchy.
Arch. Math. Log.
Nikolay Bazhenov, Manat Mustafa, Luca San Mauro, Andrea Sorbi, Mars M. Yamaleev
2020 C conf
Semilattices of Punctual Numberings.
TAMC
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
2019 C conf
Bounded Reducibility for Computable Numberings.
CiE
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
2019 C conf
Computable Isomorphisms of Distributive Lattices.
TAMC
Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev
2019 J jnl
Elementary theories and hereditary undecidability for semilattices of numberings.
Arch. Math. Log.
Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev
2019 J jnl
Reductions between types of numberings.
Ann. Pure Appl. Log.
Ian Herbert, Sanjay Jain, Steffen Lempp, Manat Mustafa, Frank Stephan
2015 J jnl
Friedberg numberings in the Ershov hierarchy.
Arch. Math. Log.
Serikzhan A. Badaev, Manat Mustafa, Andrea Sorbi
2012 J jnl
Rogers semilattices of families of two embedded sets in the Ershov hierarchy.
Math. Log. Q.
Serikzhan A. Badaev, Manat Mustafa, Andrea Sorbi