1. J. Barwise, Admissible Sets and
Structures (Springer-Verlag, Berlin–Göttingen–Heidelberg,
1975).
2. Yu. L. Ershov, Numbering Theory
(Nauka, Moscow, 1977) [in Russian].
3. Yu. L. Ershov, Decision Problems and
Constructivizable Models (Nauka, Moscow, 1980) [in Russian].
4. Yu. L. Ershov, Definability and
Computability (Nauchnaya Kniga, Novosibisrk, 1996; Consultants Bureau, New York,
1996).
5. Yu. L. Ershov and S. S. Goncharov, Constructive
Models (Nauchnaya Kniga, Novosibirsk, 1999; Consultants Bureau, New York,
2000).