Assistant Professor
Research Interest
Mathematical Logic, Computability theory, Numbering theory
Dr. Manat Mustafa received his Ph.D. in mathematics from Al-Farabi Kazakh National University in 2012 in Almaty. He is currently an assistant professor at the Department of Mathematics at Nazarbayev University. Prior to joining Nazarbayev University, he served in the School of Physics and Mathematics at Nanyang Technological University in Singapore as a research fellow.2003-2009 he was a high school math teacher at Republican Specialized Physics-Mathematics Secondary Boarding School for Gifted Students named after O.Zhautykov in Almaty. His research interests include Mathematical logic, computability theory, set theory, Algebra, and operator theory.
1. M. Mustafa, A.Sorbi. Positive undecidable numberings in the Ershov hierarchy ; Algebra and logic ,-Vol. 50, N6, pp. 512-525, N January 2012.
2. S.Badaev, M.Mustafa, A.Sorbi. Rogers semi lattices of families of two embedded sets in the Ershov hierarchy , Mathematical Logic Quarterly. -Vol. 58, issue 4-5.-P.366-376. -2012 August.
3.K. Abeshev,S. Badaev, M. Mustafa. Family without minimal numbering. Algebra and Logic, Vol. 53, No. 4, September, 2014
4. S. Badaev, M. Mustafa, A. Sorbi. Friedberg numberings in the Ershov hierarchy //Archive for Mathematical Logic February 2015, Volume 54, Issue 1, pp 59–73
5. T.N. Bekjan, M.Mustafa, On interpolation of noncommutative symmetric Hardy spaces, Positivity; , Volume 21, Issue 4, pp 1307–1317 https://doi.org/10.1007/s11117-017-0468-y
6. N.Bazhenov, M.Mustafa, F.Stephan, M.Yamaleev. Boolean algebras realized by c.e.equvivalence relations. Siberian electronic mathematical reports. V14, pp848-855. 2017.
7. M. Zubaira, A.Alzaatreh, M. H. Tahir, M. Mansoora and M.Mustafa. A generalization of the exponential distribution and its applications on modeling skewed data. the Journal of Statistical Theory and related fields. 16 May 2018. https://doi.org/10.1080/24754269.2018.1466099.
8.M.Mustafa, D.Suragan. Green-type identities for Rockland operators on graded lie groups.Complex Analysis and Operator Theory (2018). https://doi.org/10.1007/s11785-018-0824-3.
9. Bazhenov.N, M.Mustafa, M.Yamaleev, Elementary theories and hereditary undecidability for semilattices of numberings. Archive for Mathematical Logic (2019). https://doi.org/10.1007/s00153-018-0647-y
10.Bazhenov N., Mustafa M., Yamaleev M. (2019) Computable Isomorphisms of Distributive Lattices. In: Gopal T., Watada J. (eds) Theory and Applications of Models of Computation. TAMC 2019. Lecture Notes in Computer Science, vol 11436. Springer, Cham.
11. Bazhenov, N., Mustafa, M. and Sergei Ospichev. Bounded Reducibility for Computable Numberings. To appear in Lecture Notes in Computer Science, (CIE2019, https://community.dur.ac.uk/cie.2019/ )
12. I.Herbert, J.Sanjay Jain, M.Mustafa, L.Steffen and F.Stephan. Reductions between types of numberings.
Annals of Pure and Applied Logic. https://doi.org/10.1016/j.apal.2019.102716. 2019.
13. N.Bazhenov, M.Mustafa, L.S.Mauro, A.Sorbi, and M.Yamaleev, Classifying equivalence relations in the Ershov hierarchy, Submitted for publication.
14.M.Mustafa, D.Suragan. Hardy type inequalities for quaternion-valued functions. Submitted for publication.
15. Ardak Kashkynbayev; Manat Mustafa; Durvudkhan Suragan. Floquet theory for quaternion-valued ordinary differential equations. Submitted.
In preparation
- Bazhenov.N, M.Mustafa, M.Yamaleev. Sigma-definable equivalences relations.
- Ardak Kashkynbayev; Manat Mustafa; Durvudkhan Suragan. Caccioppoli type inequalities for quaternion-valued functions.
The full list of publications can be found on google scholar page.
Conferences: The 16th Asian Logic Conference and Fourteenth International Conference on Computability, Complexity, and Randomness took the place at NU in Kazakhstan in June 2019. Please see more information about ALC2019 and CCR2019 by the following web pages: The Sixteenth Asian Logic Conference and Fourteenth International Conference on Computability, Complexity and Randomness
Discrete Mathematics, Linear Algebra with Applications, Abstract Algebra