01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Keywords:
Numbering theory; Ershov Hierarchy.
Subject:
Mathematical Logic
Main publications:
Ian Herbert, Sanjay Jain, Steffen Lempp, Manat Mustafa, Frank Stephan,, “Reductions between types of numberings,”, Annals of Pure and Applied Logic,, 170:12 (2019)
Serikzhan A. Badaev Mustafa Manat Andrea Sorbi, “Rogers semilattices of families of two embedded sets in the Ershov hierarchy”, Mathematical Logic Quarterly,, 58 (2012), 366-376
A. O. Basheyeva, M. Mustafa, A. M. Nurakunov, “Identities and quasi-identities of pointed algebras”, Sibirsk. Mat. Zh., 63:2 (2022), 241–251; Siberian Math. J., 63:2 (2022), 197–205
S. A. Badaev, B. S. Kalmurzaev, N. K. Mukash, M. Mustafa, “One-element rogers semilattices in the Ershov hierarchy”, Algebra Logika, 60:4 (2021), 433–437; Algebra and Logic, 60:4 (2021), 284–287
M. Mustafa, D. Suragan, “A note on Hardy type inequalities for quaternion-valued functions”, Sib. Èlektron. Mat. Izv., 18:1 (2021), 338–344
4.
N. A. Bazhenov, M. Mustafa, S. S. Ospichev, “On universal pairs in the Ershov hierarchy”, Sibirsk. Mat. Zh., 62:1 (2021), 31–41; Siberian Math. J., 62:1 (2021), 23–31
2020
5.
N. A. Bazhenov, M. Mustafa, S. S. Ospichev, M. M. Yamaleev, “Numberings in the analytical hierarchy”, Algebra Logika, 59:5 (2020), 594–599; Algebra and Logic, 59:5 (2020), 404–407
N. Bazhenov, M. Mustafa, F. Stephan, M. Yamaleev, “Boolean algebras realized by c.e. equivalence relations”, Sib. Èlektron. Mat. Izv., 14 (2017), 848–855
2014
7.
K. Sh. Abeshev, S. A. Badaev, M. Mustafa, “Families without minimal numberings”, Algebra Logika, 53:4 (2014), 427–450; Algebra and Logic, 53:4 (2014), 271–286