1. Ershov Yu. L., “The Löwenheim-Skolem-Maltsev Theorem for definable models,” in: Logical Methods in Informatics (Vychisl. Sist., No. 148) [in Russian], Inst. Math., Novosibirsk, 1993, pp. 9–17.
2. Ershov Yu. L., Definability and Computability, Consultants Bureau, New York and London (1996).
3. Barwise J., Admissible Sets and Structures, Springer-Verlag, Berlin, Göttingen, and Heidelberg (1975).
4. Chang C. C. and Keisler H. J., Model Theory, North-Holland, Amsterdam and London (1973).
5. Puzarenko V. G., “Generalized numberings and definability of the field R in admissible structures,” Vestnik NGU Ser. Mat. Mekh. Informat., 2, No. 3, 107–117 (2003).