Marat Kh. Faizrahmanov

dblp:117/8598 · DBLP profile ↗
← Back
7ranked-venue papers
7as first author
6since 2021 · last 2026
0000-0002-4519-9696ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 7 · 7 first-author · 6 since 2021
YearPublicationVenuePosition
2026 Relative completeness of arithmetical numberings
abstract
Abstract This paper studies two approaches to relativizing the notions of complete and precomplete numbering. The first one was introduced by Selivanov in the late 1980s, and it strengthens the standard definitions of complete and precomplete numbering. The second one was introduced by Badaev, Goncharov, and Sorbi in the early 2000s, and it is the full relativization of these two concepts. In the first part of the paper, we study how these two approaches differ from each other. In the second part, we study Mal’cev’s object uniquely for the relativized complete numberings.
Marat Kh. Faizrahmanov
Math. Struct. Comput. Sci.1
2025 Some properties of precompletely and positively numbered sets
Marat Kh. Faizrahmanov
Ann. Pure Appl. Log.1
2025 Fixed point theorems for minimal numberings
abstract
Abstract This paper considers various forms of the fixed point theorem (Kleene’s recursion theorem with and without parameters, Arslanov’s and Ershov’s recursion theorems) in arbitrary numberings. We prove that the classes of minimal numberings satisfying different of the listed forms of the fixed point theorem are pairwise distinct.
Marat Kh. Faizrahmanov
J. Log. Comput.1
2025 Control Structures in Computable Numberings and the Completion Operator
Marat Kh. Faizrahmanov
Theory Comput. Syst.1
2024 On Non-principal Arithmetical Numberings and Families
Marat Kh. Faizrahmanov
Theory Comput. Syst.1
2021 Limitwise Monotonic Spectra and Their Generalizations
Marat Kh. Faizrahmanov
CiE1
2012 Turing and enumeration jumps in the Ershov hierarchy
abstract
In the article, we study the behaviour of enumeration jumps of sets of low e-degrees in the Ershov hierarchy.
Marat Kh. Faizrahmanov, Iskander Sh. Kalimullin
J. Log. Comput.1