1. W. Hodges, A Shorter Model Theory, Cambridge Univ. Press, Cambridge (1997).
2. H. Rogers, Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967). 405
3. S. S. Goncharov and Yu. L. Ershov, Constructive Models, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1999).
4. M. G. Peretyat’kin, Finitely Axiomatizable Theories, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1997).
5. M. G. Peretyat’kin, “First-order combinatorics and a definition to the concept of a modeltheoretic property with demonstration of possible applications,” in Algebra and Model Theory 11, Novosibirsk State Tech. Univ., Novosibirsk, Novosibirsk (2017), pp. 86-101.