Marat Faizrahmanov

Chief 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, Constructive Mathematical Analysis,
Computable Model Theory, Admissible Sets

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

My Curriculum Vitae
Publications
[1] Some Properties of Precompletely and Positively Numbered Sets. Annals of Pure and Applied Logic.176:2 (2025), 103523. 15 pp.
[2] Fixed Point Theorems for Minimal Numberings. Journal of Logic and Computation. 35:2 (2025), exad074. 15 pp.
[3] A Family Whose Computable Numberings are All Complete. Journal of Logic, Language and Information. 34:1-2 (2025), 155-167.
[4] Computable Operators on Left-c.e. Reals and Their Continuity Properties. Logic Journal of the IGPL. 33:3 (2025), jzaf011. 11 pp.
[5] Continuity Theorems for a Class of Computable Operators. Mathematical Notes. 117:4 (2025), 591-599.
[6] On Infinite Direct Sums of Minimal Numberings of Functional Families. Russian Mathematics. 4 (2025), 38-52 (with Sh. Nodirov and Z. Shchedrikova).
[7] An Approach to the Classification of Minimal Numberings of Families of Arithmetical Sets. Siberian Mathematical Journal. 66:2 (2025), 330-338.
[8] Control Structures in Computable Numberings and the Completion Operator. Theory of Computing Systems. 69 (2025), 21. 11 pp.
Contacts


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