Обучение

все учителя

Преподаватели

Manat Mustafa

Assistant Professor, School of Sciences and Humanities

Professional Information

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, and computability theory.

Projects

Nanointerface-Engineered Heterostructured Photocatalysts to Enhance Light Harnessing and Charge Separation

2020-01-01 → 2022-12-31

 

Development of AI-integrated Randomly Hopped LFM Photonic RADAR for Mitigating Interferences and Attackers in Autonomous Vehicles

 

2022-01-01 → 2024-12-31

 

Computable model theory and computable enumerable equivalence relations

 

2018-03-20 → 2021-06-30

 

Theory of Computable Numberings and Reverse Mathematics

 

2021-01-01 → 2023-12-31

 

Research Output

Families Without Minimal Numberings
September 2014, In : Algebra and Logic. 53, 4, p. 271-286 16 p.

The first-order theory of the computably enumerable equivalence relations in the uncountable setting
January 2022, In : Journal of Logic and Computation. 32, 1, p. 98-114 17 p.

One-Element Rogers Semilattices in the Ershov Hierarchy
September 2021, In : Algebra and Logic. 60, 4, p. 284-287 4 p.

Rogers semilattices of families of two embedded sets in the Ershov hierarchy
August 2012, In : Mathematical Logic Quarterly. 58, 4-5, p. 366-376 11 p.

Friedberg numberings in the Ershov hierarchy
January 2015, In : Archive for Mathematical Logic. 54, 1-2, p. 59-73 15 p.

Properties not retained by pointed enrichments of finite lattices
November 2020, In : Algebra Universalis. 81, 4, 56,

Identities and Quasi-Identities of Pointed Algebras
March 2022, In : Siberian Mathematical Journal. 63, 2, p. 197-205 9 p.

Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies
February 2020, In : Lobachevskii Journal of Mathematics. 41, 2, p. 145-150 6 p.

Numberings in the Analytical Hierarchy
November 2020, In : Algebra and Logic. 59, 5, p. 404-407 4 p.

On Universal Pairs in the Ershov Hierarchy
January 2021, In : Siberian Mathematical Journal. 62, 1, p. 23-31 9 p.

Theories of Rogers Semilattices of Analytical Numberings
April 2021, In : Lobachevskii Journal of Mathematics. 42, 4, p. 701-708 8 p.

Boolean algebras realized by c.e. equivalence relations
January 2017, In : Siberian Electronic Mathematical Reports. 14, p. 848-855 8 p.

Elementary theories and hereditary undecidability for semilattices of numberings
January 2018, In : Archive for Mathematical Logic. 58, 3-4, p. 485-500 16 p.

Computable Isomorphisms of Distributive Lattices
March 2019, 11436, p. 28-41 14 p.

Computable isomorphisms of distributive lattices
January 2019, p. 28-41 14 p.

Bounded Reducibility for Computable Numberings
January 2019, p. 96-107 12 p.

Classifying equivalence relations in the Ershov hierarchy
February 2020, In : Archive for Mathematical Logic. 1, p. 1-30 30 p.

Rogers semilattices in the analytical hierarchy: The case of finite families
October 2020,

Semilattices of Punctual Numberings
2020, p. 1-12 12 p.

Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy
2021, p. 1-13 13 p.

Rogers semilattices of limitwise monotonic numberings
2022, In : Mathematical Logic Quarterly. 68, 2, p. 213-226 14 p.

Rogers semilattices of punctual numberings
2022, In : Mathematical Structures in Computer Science.

Computable embeddability for algebraic structures
July 2022, In : Asian-European Journal of Mathematics. 15, 07, p. 1-20 20 p.

On interpolation of noncommutative symmetric Hardy spaces
January 2017, In : Positivity. p. 1-11 11 p.

Reductions between types of numberings
July 2019, In : Annals of Pure and Applied Logic. p. 1-30 30 p.

The algebraic and geometric classification of nilpotent right alternative algebras
March 2022, In : Periodica Mathematica Hungarica. 84, 1, p. 18-30 13 p.

Basic Theory of Impulsive Quaternion-Valued Linear Systems
2021, 351,

Positive undecidable numberings in the Ershov hierarchy
January 2012, In : Algebra and Logic. 50, 6, p. 512-525 14 p.

Green-type identities for Rockland operators on graded Lie groups
July 2018, In : Complex Analysis and Operator Theory. 13, 3, p. 1-8 8 p.

SIXTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nazarbayev University Nur-Sultan, Kazakhstan June 17–21, 2019
December 2019, 25,

A note on Hardy type inequalities for quaternion-valued functions.
March 2021, In : Siberian Electronic Mathematical Reports. 18, 1, 344, p. 338 7 p.

SIXTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nazarbayev University Nur-Sultan, Kazakhstan June 17-21, 2019
December 2019, In : Bulletin of Symbolic Logic. 25, 4, p. 456-478 23 p.