Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
П. Е. Алаев

Список литературы
1.	C. J. Ash, “Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees”, Trans. Am. Math. Soc., 298:2 (1986), 497–514
2.	C. J. Ash, “Categoricity in hyperarithmetical degrees”, Ann. Pure Appl. Logic, 34:1 (1987), 1–14
3.	C. J. Ash, J. F. Knight, “Relatively recursive expansions”, Fundam. Math., 140:2 (1992), 137–155
4.	C. J. Ash, J. F. Knight, Computable structures and the hyperarithmetical hierarchy, Elsevier Science B.V., Amsterdam a. o., 2000
5.	Х. Роджерс, Теория рекурсивных функций и эффективная вычислимость, Мир, М., 1972