Marat Faizrahmanov, Asher Kach, Iskander Kalimullin, Antonio Montalbán, Vadim Puzarenko, “Jump inversions of algebraic structures and Σ‐definability”, Mathematical Logic Qtrly, 65, no. 1, 2019, 37
N. A. Bazhenov, “Hyperarithmetical Categoricity of Boolean Algebras of Type B $ \mathfrak{B} $ (ω α × η)”, J Math Sci, 202, no. 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, no. 4, 2015, 347
N. A. Bazhenov, “Effective categoricity for distributive lattices and Heyting algebras”, Lobachevskii J Math, 38, no. 4, 2017, 600
I. Sh. Kalimullin∗, V. G. Puzarenko∗∗, “Reducibility on families”, Algebra Logic, 48, no. 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, no. 1, 2007, 324
N. A. Bazhenov, H. Ganchev, S. Vatev, “Computable Embeddings for Pairs of Linear Orders”, Algebra Logic, 60, no. 3, 2021, 163
I. Sh. Kalimullin, “Punctual Structures and Primitive Recursive Reducibility”, Lobachevskii J Math, 43, no. 3, 2022, 582