1. Yu. L. Ershov, “Σ-definability of algebraic structures,” in Handbook of Recursive Mathematics, Vol. 1, Recursive Model Theory, Y. L. Ershov et al. (Eds.), Stud. Log. Found. Math., 138, Elsevier, Amsterdam (1998), pp. 235-260.
2. Yu. L. Ershov, Definability and Computability, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).
3. J. Barwise, Admissible Sets and Structures, Springer, Berlin (1975).
4. A. S. Morozov, “Some presentations of the real number field,” Algebra and Logic, 51, No. 1, 66-88 (2012).
5. A. S. Morozov, “One-dimensional Σ-presentations of structures over ℍ F $$ \mathbb{F} $$ (ℝ),” in Infinity, Computability, and Metamathematics: Festschrift Celebrating the 60th Birthdays of Peter Koepke and Philip Welch, Tributes, 23, S. Geschke et al. (Eds.), College Publ. (2014).