Marat Kh. Faizrahmanov

18 papers C 1Journal 17
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Family Whose Computable Numberings are All Complete.
J. Log. Lang. Inf.
Marat Kh. Faizrahmanov
2025 J jnl
Computable operators on left-c.e. reals and their continuity properties.
Log. J. IGPL
Marat Kh. Faizrahmanov
2025 J jnl
Control Structures in Computable Numberings and the Completion Operator.
Theory Comput. Syst.
Marat Kh. Faizrahmanov
2025 J jnl
Fixed point theorems for minimal numberings.
J. Log. Comput.
Marat Kh. Faizrahmanov
2025 J jnl
Some properties of precompletely and positively numbered sets.
Ann. Pure Appl. Log.
Marat Kh. Faizrahmanov
2024 J jnl
On Non-principal Arithmetical Numberings and Families.
Theory Comput. Syst.
Marat Kh. Faizrahmanov
2024 J jnl
On computable numberings of families of Turing degrees.
Arch. Math. Log.
Marat Kh. Faizrahmanov
2023 J jnl
A classification of low c.e. sets and the Ershov hierarchy.
Math. Log. Q.
Marat Kh. Faizrahmanov
2023 J jnl
Effectively infinite classes of numberings and computable families of reals.
Comput.
Marat Kh. Faizrahmanov, Zlata Shchedrikova
2023 J jnl
Numberings, c.e. oracles, and fixed points.
Comput.
Marat Kh. Faizrahmanov
2022 J jnl
Extremal numberings and fixed point theorems.
Math. Log. Q.
Marat Kh. Faizrahmanov
2021 C conf
Limitwise Monotonic Spectra and Their Generalizations.
CiE
Marat Kh. Faizrahmanov
2019 J jnl
Jump inversions of algebraic structures and Σ-definability.
Math. Log. Q.
Marat Kh. Faizrahmanov, Asher M. Kach, Iskander Sh. Kalimullin, Antonio Montalbán, Vadim Puzarenko
2017 J jnl
The Least ∑-jump Inversion Theorem for
J. Univers. Comput. Sci.
Marat Kh. Faizrahmanov, Iskander Sh. Kalimullin, Antonio Montalbán, Vadim Puzarenko
2016 J jnl
The Enumeration Spectrum Hierarchy of α-families and Low
J. Univers. Comput. Sci.
Marat Kh. Faizrahmanov, Iskander Sh. Kalimullin
2016 J jnl
The enumeration spectrum hierarchy of
Math. Log. Q.
Marat Kh. Faizrahmanov, Iskander Sh. Kalimullin
2015 J jnl
Limitwise monotonic sets of reals.
Math. Log. Q.
Marat Kh. Faizrahmanov, Iskander Sh. Kalimullin
2012 J jnl
Turing and enumeration jumps in the Ershov hierarchy.
J. Log. Comput.
Marat Kh. Faizrahmanov, Iskander Sh. Kalimullin