1. R. Montague, “Recursion theory as a branch of model theory,” in Logic, Methodology Philos. Sci. III, Proc. 3rd Int. Congr. (Amsterdam, 1967) (1968), pp. 63-86.
2. A. I. Stukachev, “On inner constructivizability of admissible sets,” Vestnik NGU, Mat., Mekh., Inf., 5, No. 1, 69-76 (2005).
3. A. Stukachev, “Effective model theory: An approach via Σ-definability,” in Effective Mathematics of the Uncountable, Lect. Notes Log., 41, 164-197 (2013).
4. H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
5. Yu. L. Ershov, Definability and Computability, Siberian School of Algebra and Logic [in Russian], Nauch. Kniga, Novosibirsk (1996).