Ivan N. Soskov, 7921, The Nature of Computation. Logic, Algorithms, Applications, 2013, 365
I. Shs. Kalimullin, A. Kach, A. Montalbán, V. G. Puzarenko, M. Kh. Faizrahmanov, “Jump Inversions of Algebraic Structures and the Σ-Definability”, Algebra Logic, 57, no. 2, 2018, 161
I. Sh. Kalimullin, “Restrictions on the degree spectra of algebraic structures”, Sib Math J, 49, no. 6, 2008, 1034
N. A. Bazhenov, R. R. Tukhbatullina, “Computable categoricity of the Boolean algebra $ \mathfrak{B}\left( \omega \right) $ with a distinguished automorphism”, Algebra Logic, 52, no. 2, 2013, 89
Nikolay Bazhenov, 10185, Theory and Applications of Models of Computation, 2017, 85
I. Sh. Kalimullin, V. L. Selivanov, A. N. Frolov, “Degree Spectra of Structures”, J Math Sci, 256, no. 2, 2021, 143
Antonio Montalbán, “Rice sequences of relations”, Phil. Trans. R. Soc. A., 370, no. 1971, 2012, 3464
P. E. Alaev, “Ash’s Theorem on Δ α 0 -Categorical Structures and a Condition for Infinite Δ α 0 -Dimension”, Algebra Logic, 54, no. 5, 2015, 353
J. F. KNIGHT, J. MILLAR, “COMPUTABLE STRUCTURES OF RANK $\omega_{1}^{{\rm CK}}$”, J. Math. Log., 10, no. 01n02, 2010, 31
S. S. Goncharov, “Degrees of autostability relative to strong constructivizations”, Proc. Steklov Inst. Math., 274, no. 1, 2011, 105