1. J. Barwise, Admissible Sets and Structures (Springer-Verlag, Berlin, New York, 1975).
2. Yu. L. Ershov, Theory of Numberings (Nauka, Moscow, 1977) [in Russian].
3. Yu. L. Ershov, Definability and Computability (Consultants Bureau, New York, London, Moscow, 1996).
4. V. G. Puzarenko, “Computability over models of decidable theories,” Algebra i Logika 39(2), 170–197 (2000) [Algebra and Logic 39(2), 98–113 (2000)].
5. V. G. Puzarenko, “Generalized numberings and definability of the field ĭ in admissible sets,” Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 3(2), 107–117 (2003).