Marat Faizrahmanov, Asher Kach, Iskander Kalimullin, Antonio Montalbán, Vadim Puzarenko, “Jump inversions of algebraic structures and Σ‐definability”, Mathematical Logic Qtrly, 65, № 1, 2019, 37
N. A. Bazhenov, “Hyperarithmetical Categoricity of Boolean Algebras of Type B $ \mathfrak{B} $ (ω α × η)”, J Math Sci, 202, № 1, 2014, 40
Serikzhan Badaev, Sergey Goncharov, New Computational Paradigms, 2008, 19
I. Sh. Kalimullin, M. Kh. Faizrakhmanov, “A Hierarchy of Classes of Families and n-Low Degrees”, Algebra Logic, 54, № 4, 2015, 347
N. A. Bazhenov, “Effective categoricity for distributive lattices and Heyting algebras”, Lobachevskii J Math, 38, № 4, 2017, 600
I. Sh. Kalimullin∗, V. G. Puzarenko∗∗, “Reducibility on families”, Algebra Logic, 48, № 1, 2009, 20
Alexandra A. Soskova, Mariya I. Soskova, 10010, Computability and Complexity, 2017, 271
Valentina S. Harizanov, Russell G. Miller, “Spectra of structures and relations”, J. symb. log., 72, № 1, 2007, 324
N. A. Bazhenov, H. Ganchev, S. Vatev, “Computable Embeddings for Pairs of Linear Orders”, Algebra Logic, 60, № 3, 2021, 163
I. Sh. Kalimullin, “Punctual Structures and Primitive Recursive Reducibility”, Lobachevskii J Math, 43, № 3, 2022, 582