1. A. I. Stukachev, “Generalized hyperarithmetical computability over structures,” Algebra and Logic, 55, No. 6, 507-526 (2016).
2. A. I. Stukachev, “On processes and structures,” in Lect. Notes Comput. Sci., 7921, Springer-Verlag, Berlin (2013), pp. 393-402.
3. J. Barwise, Admissible Sets and Structures, Springer, Berlin (1975).
4. Yu. L. Ershov, Definability and Computability, Siberian School of Algebra and Logic [in Russian], Nauch. Kniga, Novosibirsk (1996).
5. A. I. Stukachev, “A jump inversion theorem for the semilattices of Σ-degrees,” Sib. Electr. Mat. Izv., 6, 182-190 (2009).