О $\Sigma$-определимости счётных структур над вещественными, комплексными числами и кватернионами
А. С. Морозов, М. В. Коровина

Список литературы
1.	Ю. Л. Ершов, Определимость и вычислимость, Сибирская школа алгебры и логики, Научная книга (НИИ МИОО НГУ), Новосибирск, 1996
2.	J. Barwise, Admissible sets and structures, Springer-Velag, Berlin, 1975
3.	C. C. Гончаров, Ю. Л. Ершов, Конструктивные модели, Сибирская школа алгебры и логики, Научная книга (НИИ МИОО НГУ), Новосибирск, 1996
4.	Yu. L. Ershov, “$\Sigma$-definability of algebraic systems”, Handbook of recursive mathematics. Vol. 1: Recursive model theory, Stud. Logic Found. Math., 138, eds. Yu. L. Ershov et al., Elsevier, Amsterdam, 1998, 235–260
5.	Х. Роджерс, Теория рекурсивных функций и эффективная вычислимость, Мир, М., 1972
6.	R. Rogers, Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967
7.	G. E. Sacks, Higher recursion theory, Perspect. Math. Log., Springer-Verlag, Berlin etc., 1990