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
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
Scientific Degrees- 2011, Ph.D. Thesis «Turing Jumps in the Ershov Hierarchy», Kazan State University
- 2020, Sc.D. Thesis «Generalized Computable Numberings and Degree Spectra of Countable Families», S.L. Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences (Novosibirsk)
Memberships- Deputy Editor-in-Chief of «Mathematics and Theoretical Computer Science»
- Member of the Working Group of the N.I. Lobachevsky Project
Education2004-2009, Kazan State University
Faculty of Mechanics and Mathematics
Additional InformationMember of the Dissertation Council No. 01-03/1325 on defense in the field of physical and mathematical sciences, specialties 1.1.5. Mathematical logic, algebra, number theory and discrete mathematics (physical and mathematical sciences), 2.3.5. Mathematical and software support for computer systems, complexes and computer networks (physical and mathematical sciences)
Publications
1. Faizrahmanov M. On Computable Numberings of Families of Turing Degrees. Arch. Math. Logic (2024), DOI 10.1007/s00153-024-00914-9.
2. Faizrahmanov M. On e-principal and e-complete Numberings. Math. Notes (2024), Accepted.
3. Nodirov Sh.D., Faizrahmanov M.Kh. Some Properties of Classes of Minimal Numberings of Arithmetical Set Families. Math. Theor. Comp. Sci. 2:1 (2024), 94-108 (Russian).
4. Kalimullin I.Sh., Puzarenko V.G., Faizrakhmanov M.Kh. Negative Numberings in Admissible Sets. II. Sib. Adv. Math. 34:1 (2024), 41-66.
5. Faizrahmanov M. A Family with a Single Minimal but Not Least Numbering. Sib. Math. J. 65:2 (2024), 394-406.
6. Faizrahmanov M. On Non-principal Arithmetical Numberings and Families. Theory Comput. Syst. 68:2 (2024), 271-282.
2. Faizrahmanov M. On e-principal and e-complete Numberings. Math. Notes (2024), Accepted.
3. Nodirov Sh.D., Faizrahmanov M.Kh. Some Properties of Classes of Minimal Numberings of Arithmetical Set Families. Math. Theor. Comp. Sci. 2:1 (2024), 94-108 (Russian).
4. Kalimullin I.Sh., Puzarenko V.G., Faizrakhmanov M.Kh. Negative Numberings in Admissible Sets. II. Sib. Adv. Math. 34:1 (2024), 41-66.
5. Faizrahmanov M. A Family with a Single Minimal but Not Least Numbering. Sib. Math. J. 65:2 (2024), 394-406.
6. Faizrahmanov M. On Non-principal Arithmetical Numberings and Families. Theory Comput. Syst. 68:2 (2024), 271-282.
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. (2023) DOI 10.1093/logcom/exad074.
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 (Russian).
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.
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. (2023) DOI 10.1093/logcom/exad074.
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 (Russian).
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.
1. Morozov A.S., Puzarenko V.G., Faizrahmanov M.Kh. Families of Permutations and Ideals of Turing Degrees. Algebra and Logic. 61:6 (2022), 706-719.
2. Faizrahmanov M. Extremal Numberings and Fixed Point Theorems. Math. Log. Quart. 68:4 (2022), 398-408.
3. Faizrahmanov M.Kh. On Numberings for Classes of Families of Total Functions. Sib. Adv. Math. 32:4 (2022), 177-197.
4. Faizrahmanov M.Kh. On p-universal and p-minimal Numberings. Sib. Math. J. 63:2 (2022), 440-449.
5. Faizrahmanov M.Kh. Splitting of c.e. Degrees and Superlowness. Sib. Electron. Math. Rep. 19:2 (2022), 578-585.
6. Faizrahmanov M. One Note on Positive A-computable Numberings. Asian-European J. Math. Art. No 2250218 (2022).
2. Faizrahmanov M. Extremal Numberings and Fixed Point Theorems. Math. Log. Quart. 68:4 (2022), 398-408.
3. Faizrahmanov M.Kh. On Numberings for Classes of Families of Total Functions. Sib. Adv. Math. 32:4 (2022), 177-197.
4. Faizrahmanov M.Kh. On p-universal and p-minimal Numberings. Sib. Math. J. 63:2 (2022), 440-449.
5. Faizrahmanov M.Kh. Splitting of c.e. Degrees and Superlowness. Sib. Electron. Math. Rep. 19:2 (2022), 578-585.
6. Faizrahmanov M. One Note on Positive A-computable Numberings. Asian-European J. Math. Art. No 2250218 (2022).
1. Faizrakhmanov M.Kh. Some Properties of the Upper Semilattice of Computable Families of Computably Enumerable Sets. Algebra and Logic. 60:2 (2021), 195-209.
2. Faizrahmanov M. Limitwise Monotonic Spectra and Their Generalizations. In: De Mol L., Weiermann A., Manea F., Fernández-Duque D. (eds) CiE 2021. LNCS, V. 12 813. Springer (2021).
3. Faizrahmanov M.Kh., Puzarenko V.G. Absolute and Relative Properties of Negatively Numbered Families. Lobachevskii J. Math. 42:4 (2021), 726-734.
4. Ivanova Z.K., Faizrahmanov M.Kh. Weak Reducibility of Computable and Generalized Computable Numberings. Sib. Electron. Math. Rep. 18:1 (2021), 112-120.
5. Kalimullin I.Sh., Faizrahmanov M.Kh. Degrees of Enumerations of Countable Wehner-Like Families. J. Math. Sci. 256:1 (2021), 51-60.
2. Faizrahmanov M. Limitwise Monotonic Spectra and Their Generalizations. In: De Mol L., Weiermann A., Manea F., Fernández-Duque D. (eds) CiE 2021. LNCS, V. 12 813. Springer (2021).
3. Faizrahmanov M.Kh., Puzarenko V.G. Absolute and Relative Properties of Negatively Numbered Families. Lobachevskii J. Math. 42:4 (2021), 726-734.
4. Ivanova Z.K., Faizrahmanov M.Kh. Weak Reducibility of Computable and Generalized Computable Numberings. Sib. Electron. Math. Rep. 18:1 (2021), 112-120.
5. Kalimullin I.Sh., Faizrahmanov M.Kh. Degrees of Enumerations of Countable Wehner-Like Families. J. Math. Sci. 256:1 (2021), 51-60.
1. Kalimullin I.Sh., Puzarenko V.G., Faizrakhmanov M.Kh. Computable Positive and Friedberg Numberings in Hyperarithmetic. Algebra and Logic. 59:1 (2020), 66-83.
2. Kalimullin I.Sh., Puzarenko V.G., Faizrakhmanov M.Kh. Semidecidable Numberings in Admissible Sets. Algebra and Logic. 59:3 (2020), 395-402.
3. Kalimullin I.Sh., Puzarenko V.G., Faizrahmanov M.Kh. Positive Numberings in Admissible Sets. Sib. Math. J. 61:3 (2020), 607-621.
2. Kalimullin I.Sh., Puzarenko V.G., Faizrakhmanov M.Kh. Semidecidable Numberings in Admissible Sets. Algebra and Logic. 59:3 (2020), 395-402.
3. Kalimullin I.Sh., Puzarenko V.G., Faizrahmanov M.Kh. Positive Numberings in Admissible Sets. Sib. Math. J. 61:3 (2020), 607-621.
2019
1. Faizrakhmanov M.Kh. Khutoretskii's Theorem for Generalized Computable Families. Algebra Logika. — 2019. — V. 58, No 4. — P. 528−541.
2. Faizrahmanov M.Kh. Lattice Properties of Rogers Semilattices of Compuatble and Generalized Computable Families. Sib. Electron. Math. Rep. — 2019. — V. 16. — P. 1927−1936.
3. Kalimullin I.Sh., Puzarenko V.G., Faizrahmanov M.Kh. Partial Decidable Presentations in Hyperarithmetic. Sib. Math. J. — 2019. — V. 60, No 3. — P. 599−609.
4. Faizrahmanov M., Kach A., Kalimullin I., Montalban A., Puzarenko V. Jump Inversions of Algebraic Structures and Σ-definability. Math. Log. Quart. — 2019. — V. 65, No 1. — P. 37−45.
2018
1. Kalimullin I.Sh., Puzarenko V.G., Faizrahmanov M.Kh. Positive Presentations of Families Relative to e-oracles. Sib. Math. J. — 2018. — V. 59, No 4. — P. 823−833.
2. Kalimullin I.Sh., Kach A., Montalbán A., Puzarenko, V.G., Faizrakhmanov M.Kh. Jump Inversions of Algebraic Structures and the Σ-definability. Algebra Logika. — 2018. — V. 57, No 2. — P. 243−249.
3. Kalimullin I.Sh., Puzarenko V.G., Faizrakhmanov M.Kh. Positive Presentations of Families in Relation to Reducibility with Respect to Enumerability. Algebra Logika. — 2018. — V. 57, No 4. — P. 492−498.
2017
1. Faizrakhmanov M.Kh. Universal Generalized Computable Numberings and Hyperimmunity. Algebra Logika. — 2017. — V. 56, No 4. — P. 506−521.
2. Faizrahmanov M.Kh. The Rogers Semilattices of Generalized Computable Enumerations. Sib. Math. J. — 2017. — V. 58, No 6. — P. 1418−1427.
3. Faizrahmanov M.Kh. Minimal Generalized Computable Enumerations and High Degrees. Sib. Math. J. — 2017. — V. 58, No 3. — P. 710−716.
4. Faizrahmanov M., Kalimullin I., Montalban A., Puzarenko V. The Least Σ-jump Inversion Theorem for n-families. J. Univ. Comp. Sci. — 2017. — V. 23, No 6. — P. 529−538.
2016
1. Faizrahmanov M., Kalimullin I. The Enumeration Spectrum Hierarchy of n-families. Math. Log. Quart. — 2016. — V. 62, No 4. — P. 420−426.
2. Faizrahmanov M., Kalimullin I. The Enumeration Spectrum Hierarchy of α-families and Low_α Degrees. J. Univ. Comp. Sci. — 2016. — V. 22, No 7. — P. 943−955.
3. Faizrakhmanov M.Kh. Universal Computable Enumerations of Finite Classes of Families of Total Functions. Russian Math. — 2016. — No 12. — P. 96−100.
2015
1. Faizrahmanov M., Kalimullin I. Limitwise Monotonic Sets of Reals. Math. Log. Quart. — 2015. — V. 61, No 3. — P. 224−229.
2. Kalimullin I.Sh., Faizrakhmanov M.Kh. A Hierarchy of Classes of Families and n-low Degrees. Algebra Logika. — 2015. — V. 54, No 4. — P. 536−541.
2014
1. Faizrahmanov M., Kalimullin I., Zainetdinov D. Maximality and Minimality under Limitwise Monotonic Reducibility. Lobachevskii J. Math. — 2014. — V. 35, No 4. — P. 333−338.
2013
1. Faizrahmanov M.Kh. Complements for Enumeration Π-0−1-degrees. Sib. Math. J. — 2013. — V. 54, No 6. — P. 1388−1395.
2012
1. Faizrahmanov M.Kh., Kalimullin I.Sh. Turing and Enumeration Jumps in the Ershov Hierarchy. J. Log. Comput. — 2012. — V. 22, No 4. — P. 737−743.
2. Kalimullin I.Sh., Faizrakhmanov M.Kh. Limitwise Monotonic Spectra of Σ-0−2-sets. Uchen. Zapiski Kazan. Univ.. Seriya Fiz.-Mat. Nauki. — 2012. — V. 154. No 2. — P. 107−116.
2011
1. Faizrakhmanov M.Kh. Turing Jumps in the Ershov Hierarchy. Algebra Logika. — 2011. — V. 50, No 3. — P. 399−414.
2. Faizrakhmanov M.Kh. A Semilattice Generated by Superlow Computably Enumerable Degrees. Russian Math. — 2011. No 1. — P. 85−90.
2010
1. Faizrahmanov M.Kh. Computable Numberings of Families of Low Sets and Turing Jumps in the Ershov Hierarchy. — 2010. Sib. Math. J. — V. 51, No 6. — P. 1435−1439.
2. Faizrakhmanov M.Kh. Decomposability of Low 2-computably Enumerable Degrees and Turing Jumps in the Ershov Hierarchy. Russian Math. — 2010. — No 12. — P. 58−66.
1. Faizrakhmanov M.Kh. Khutoretskii's Theorem for Generalized Computable Families. Algebra Logika. — 2019. — V. 58, No 4. — P. 528−541.
2. Faizrahmanov M.Kh. Lattice Properties of Rogers Semilattices of Compuatble and Generalized Computable Families. Sib. Electron. Math. Rep. — 2019. — V. 16. — P. 1927−1936.
3. Kalimullin I.Sh., Puzarenko V.G., Faizrahmanov M.Kh. Partial Decidable Presentations in Hyperarithmetic. Sib. Math. J. — 2019. — V. 60, No 3. — P. 599−609.
4. Faizrahmanov M., Kach A., Kalimullin I., Montalban A., Puzarenko V. Jump Inversions of Algebraic Structures and Σ-definability. Math. Log. Quart. — 2019. — V. 65, No 1. — P. 37−45.
2018
1. Kalimullin I.Sh., Puzarenko V.G., Faizrahmanov M.Kh. Positive Presentations of Families Relative to e-oracles. Sib. Math. J. — 2018. — V. 59, No 4. — P. 823−833.
2. Kalimullin I.Sh., Kach A., Montalbán A., Puzarenko, V.G., Faizrakhmanov M.Kh. Jump Inversions of Algebraic Structures and the Σ-definability. Algebra Logika. — 2018. — V. 57, No 2. — P. 243−249.
3. Kalimullin I.Sh., Puzarenko V.G., Faizrakhmanov M.Kh. Positive Presentations of Families in Relation to Reducibility with Respect to Enumerability. Algebra Logika. — 2018. — V. 57, No 4. — P. 492−498.
2017
1. Faizrakhmanov M.Kh. Universal Generalized Computable Numberings and Hyperimmunity. Algebra Logika. — 2017. — V. 56, No 4. — P. 506−521.
2. Faizrahmanov M.Kh. The Rogers Semilattices of Generalized Computable Enumerations. Sib. Math. J. — 2017. — V. 58, No 6. — P. 1418−1427.
3. Faizrahmanov M.Kh. Minimal Generalized Computable Enumerations and High Degrees. Sib. Math. J. — 2017. — V. 58, No 3. — P. 710−716.
4. Faizrahmanov M., Kalimullin I., Montalban A., Puzarenko V. The Least Σ-jump Inversion Theorem for n-families. J. Univ. Comp. Sci. — 2017. — V. 23, No 6. — P. 529−538.
2016
1. Faizrahmanov M., Kalimullin I. The Enumeration Spectrum Hierarchy of n-families. Math. Log. Quart. — 2016. — V. 62, No 4. — P. 420−426.
2. Faizrahmanov M., Kalimullin I. The Enumeration Spectrum Hierarchy of α-families and Low_α Degrees. J. Univ. Comp. Sci. — 2016. — V. 22, No 7. — P. 943−955.
3. Faizrakhmanov M.Kh. Universal Computable Enumerations of Finite Classes of Families of Total Functions. Russian Math. — 2016. — No 12. — P. 96−100.
2015
1. Faizrahmanov M., Kalimullin I. Limitwise Monotonic Sets of Reals. Math. Log. Quart. — 2015. — V. 61, No 3. — P. 224−229.
2. Kalimullin I.Sh., Faizrakhmanov M.Kh. A Hierarchy of Classes of Families and n-low Degrees. Algebra Logika. — 2015. — V. 54, No 4. — P. 536−541.
2014
1. Faizrahmanov M., Kalimullin I., Zainetdinov D. Maximality and Minimality under Limitwise Monotonic Reducibility. Lobachevskii J. Math. — 2014. — V. 35, No 4. — P. 333−338.
2013
1. Faizrahmanov M.Kh. Complements for Enumeration Π-0−1-degrees. Sib. Math. J. — 2013. — V. 54, No 6. — P. 1388−1395.
2012
1. Faizrahmanov M.Kh., Kalimullin I.Sh. Turing and Enumeration Jumps in the Ershov Hierarchy. J. Log. Comput. — 2012. — V. 22, No 4. — P. 737−743.
2. Kalimullin I.Sh., Faizrakhmanov M.Kh. Limitwise Monotonic Spectra of Σ-0−2-sets. Uchen. Zapiski Kazan. Univ.. Seriya Fiz.-Mat. Nauki. — 2012. — V. 154. No 2. — P. 107−116.
2011
1. Faizrakhmanov M.Kh. Turing Jumps in the Ershov Hierarchy. Algebra Logika. — 2011. — V. 50, No 3. — P. 399−414.
2. Faizrakhmanov M.Kh. A Semilattice Generated by Superlow Computably Enumerable Degrees. Russian Math. — 2011. No 1. — P. 85−90.
2010
1. Faizrahmanov M.Kh. Computable Numberings of Families of Low Sets and Turing Jumps in the Ershov Hierarchy. — 2010. Sib. Math. J. — V. 51, No 6. — P. 1435−1439.
2. Faizrakhmanov M.Kh. Decomposability of Low 2-computably Enumerable Degrees and Turing Jumps in the Ershov Hierarchy. Russian Math. — 2010. — No 12. — P. 58−66.
Contacts
Russia, 420008, Kazan, 35 Kremlievskaia st., Office 703
Phone: +7 (843) 292-72-79
Email: marat.faizrahmanov@gmail.com
Russia, 420008, Kazan, 35 Kremlievskaia st., Office 703
Phone: +7 (843) 292-72-79
Email: marat.faizrahmanov@gmail.com
2023 © mathcenter.kpfu.ru | 0+