1. Tussupov J. A., Morozov A. S., and Satekbaeva A. Z., “On the existential interpretability of structures,” Sib. Elektron. Mat. Izv., no. 11, 557–566 (2014).
2. Ershov Yu. L., “Σ-Definability of algebraic structures,” in: Handbook of Recursive Mathematics. Vol. 1: RecursiveModel Theory. Ser. Stud. Logic Found. Math., Elsevier, Amsterdam, Lausanne, New York, Oxford, Shannon, Singapore, and Tokyo, 1998, 235–260.
3. Ershov Yu. L., Definability and Computability, Consultants Bureau, New York and London 1996).
4. Rogers H., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Comp., New York, St. Louis, San Francisco, Toronto, London, and Sydney 1967).
5. Matiyasevich Yu. V., “Enumerable sets are Diophantine,” Soviet Math. Dokl., vol. 11, no. 2, 354–357 (1970).