Projects per year
Personal profile
External positions
Fingerprint
Network
Projects
-
Nanointerface-Engineered Heterostructured Photocatalysts to Enhance Light Harnessing and Charge Separation
Nuraje, N., Ibrayev, N., Mustafa, M. & ROY, A. K.
Project: Monitored by Research Administration
-
Theory of Computable Numberings and Reverse Mathematics
Mustafa, M., Bazhenov, N. & Tleuliyeva, Z.
Project: Monitored by Research Administration
-
Computable model theory and computable enumerable equivalence relations
Mustafa, M., Bazhenov, N. & Mars, Y.
3/20/18 → 12/31/20
Project: Monitored by Research Administration
Research Output
-
On universal pairs in the Ershov hierarchy
Bazhenov, N., Mustafa, M. & Ospichev, S., Jan 2021, In: Siberian Mathematical Journal. 62, 1, p. 23 9 p., 31.Research output: Contribution to journal › Article › peer-review
-
Classifying equivalence relations in the Ershov hierarchy
Bazhenov, N., Mustafa, M., San Mauro, L., Sorbi, A. & Yamaleev, M., Feb 13 2020, In: Archive for Mathematical Logic. p. 1-30 30 p., 1.Research output: Contribution to journal › Article › peer-review
Open Access -
Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies
Bazhenov, N. A., Mustafa, M., San Mauro, L. & Yamaleev, M. M., Feb 1 2020, In: Lobachevskii Journal of Mathematics. 41, 2, p. 145-150 6 p.Research output: Contribution to journal › Article › peer-review
-
Numberings in the Analytical Hierarchy
Bazhenov, N. A., Mustafa, M., Ospichev, S. S. & Yamaleev, M. M., Nov 2020, In: Algebra and Logic. 59, 5, p. 404-407 4 p.Research output: Contribution to journal › Article › peer-review
-
Numberings in the Analytical Hierarchy
Bazhenov, N., Mustafa, M., Ospichev, S. & Yamaleev, M., Nov 29 2020, In: Algebra and Logic.Research output: Contribution to journal › Article › peer-review
Activities
-
Asian Logic Conference
Manat Mustafa (Organizer), Vassilios Tourassis (Organizer), Francesco Sica (Organizer) & Zhibek Kadyrsizova (Organizer)
Jun 17 2019 → Jun 21 2019Activity: Participating in event › Participation in workshop, seminar
-
Fourteenth International Conference on Computability, Complexity and Randomness
Manat Mustafa (Organizer) & Huseyin Atakan Varol (Organizer)
Jun 23 2019 → Jun 25 2019Activity: Participating in event › Participation in workshop, seminar
-
Sergey Ospichev
Manat Mustafa (Host)
Nov 1 2018 → Nov 16 2018Activity: Hosting a visitor/event › Hosting a research visitor
-
University of Wisconsin-Madison
Manat Mustafa (Visiting researcher)
Dec 10 2018 → Dec 22 2018Activity: Visiting types › Visiting an external research institution
-
Nanyang Technological University
Manat Mustafa (Visiting researcher)
Oct 6 2018 → Oct 13 2018Activity: Visiting types › Visiting an external research institution