1. Ershov Yu. L., “Σ-Definability of algebraic systems,” in: Handbook of Recursive Mathematics. Vol. 1: Recursive Model Theory, Elsevier, Amsterdam, Lausanne, New York, Oxford, Shannon, Singapore, and Tokyo, 1998, pp. 235–260 (Stud. Logic Found. Math.).
2. Morozov A. S. and Korovina M. V., “Σ-Definability of countable structures over real numbers, complex numbers, and quaternions,” Algebra and Logic, 47, No. 3, 193–209 (2008).
3. Morozov A. S., “Some presentations of the real number field,” Algebra and Logic, 51, No. 1, 66–88 (2012).
4. Morozov A. S., “On Σ-presentations of the real order,” Algebra and Logic (to be published).
5. Morozov A. S., “Σ-Rigid presentations of the real order,” Siberian Math. J. (to be published).