Marat Faizrahmanov

Senior Researcher
Volga Region Scientific-Educational Centre of Mathematics

Professor
Kazan Federal University, Department of Algebra and Mathematical Logic

Research Interests
Computability Theory, Theory of Numberings, Computable Model Theory, Admissible Sets

Orcid ID: 0000-0002-4519-9696
Researcher ID: K-7976-2015

Publications
1. Faizrahmanov M.Kh. A Local Version of the Slaman-Wehner Theorem and Families Closed Under Finite Differences. Notre Dame J. Form. Log. 64:2 (2023), 197-203.
2. Faizrahmanov M.Kh. Numberings, c.e. Oracles, and Fixed Points. Computability. 12:3 (2023), 271-282.
3. Faizrahmanov M.Kh., Shchedrikova Z.K. Effectively Infinite Classes of Numberings and Computable Families of Reals. Computability. 12:4 (2023), 339-350.
4. Faizrahmanov M.Kh. Fixed Point Theorems for Minimal Numberings. J. Log. Comput. DOI 10.1093/logcom/exad074 (2023).
5. Faizrahmanov M.Kh. A Classification of Low c.e. Sets and the Ershov Hierarchy. Math. Log. Quart. 69:4 (2023), 508-518.
6. Faizrahmanov M.Kh. Generalized Computable Numberings and Fixed Points. Math. Theor. Comp. Sci. 1:2 (2023), 35-49.
7. Kalimullin I.Sh., Puzarenko V.G., Faizrahmanov M.Kh. Negative Numberings in Admissible Sets. I. Sib. Adv. Math. 26:1 (2023), 47-92.
8. Kalimullin I.Sh., Puzarenko V.G., Faizrahmanov M.Kh. Negative Numberings in Admissible Sets. II. Sib. Adv. Math. 26:2 (2023), 86-128.
9. Faizrahmanov M.Kh. Positive Reducibilities, Extremal Numberings, and Completeness. Sib. Adv. Math. 26:1 (2023), 176-191.
10. Faizrahmanov M.Kh. Effectively Infinite Classes of Numberings and Fixed Point Theorems. Sib. Electron. Math. Rep. 20:2 (2023), 1519-1536.
11. Faizrahmanov M.Kh. Two Theorems on Minimal Generalized Computable Numberings. Moscow Univ. Math. Bull. 78:3 (2023), 136-143.
12. Faizrahmanov M.Kh. On the Embedding of the First Nonconstructive Ordinal in the Rogers Semilattices. Math. Notes. 113:5 (2023), 764-774.
13. Faizrahmanov M.Kh. Embedding of the First Nonconstructive Ordinal in the Rogers Semilattices of Families of Arithmetic Sets. Sib. Math. J. 64:4 (2023), 830-840.
14. Faizrahmanov M.Kh. Enumeration Reducibility and Positive Reducibility of the Numberings of Families of Arithmetic Sets. Sib. Math. J. 64:1 (2023), 204-212.
15. Faizrahmanov M.Kh. Effectively Infinite Classes of Numberings of Computable Families of Reals. Russian Math. 67:4 (2023), 96-100.
Contacts


Russia, 420008, Kazan, 35 Kremlievskaia st., Office 703
Phone: +7 (843) 292-72-79
Email: marat.faizrahmanov@gmail.com
2023 © mathcenter.kpfu.ru | 0+