|
|
|
|
ЛИТЕРАТУРА
|
|
| |
| 1. |
J. C. Owings, Jr., “The meta-r.e. sets, but not the $\Pi^1_1$ sets, can be enumerated without repetition”, J. Symb. Log., 35:2 (1970), 223–229    |
| 2. |
И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Частичные позитивные представления в гиперарифметике”, Сиб. матем. ж., 60:3 (2019), 599–609  |
| 3. |
И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Позитивные представления семейств относительно сводимости по перечислимости”, Алгебра и логика, 57:4 (2018), 492–498 |
| 4. |
J. Barwise, Admissible sets and structures. An approach to definability theory, Perspec. Math. Log., Springer-Velag, Berlin, 1975 |
| 5. |
Х. Роджерс, Теория рекурсивных функций и эффективная вычислимость, Мир, М., 1972 |
| 6. |
G. E. Sacks, Higher recursion theory, Perspect. Math. Log., Springer-Verlag, Berlin etc., 1990 |
| 7. |
М. В. Доржиева, “Элиминация метарекурсии из теоремы Оуинса”, Вестн. НГУ. Сер. матем., мех., информ., 14:1 (2014), 35–43 |
| 8. |
М. В. Доржиева, “Неразрешимость элементарных теорий полурешеток Роджерса аналитической иерархии”, Сиб. электрон. матем. изв., 13 (2016), 148–153 http://semr.math.nsc.ru/v13/p148-153.pdf  |
| 9. |
М. В. Доржиева, “Однозначная нумерация для семейства всех $\Sigma^{1}_{2}$-множеств”, Сиб. ж. чист. прикл. матем., 18:2 (2018), 47–52 |
| 10. |
В. Г. Пузаренко, “О разрешимых вычислимых $\mathbb{A}$-нумерациях”, Алгебра и логика, 41:5 (2002), 568–584 |
| 11. |
Ю. Л. Ершов, Определимость и вычислимость, Сибирская школа алгебры и логики, 2-е изд., испр. и доп., Науч. кн., Новосибирск; Экономика, М., 2000 |
| 12. |
Ю. Л. Ершов, Теория нумераций, Наука, М., 1977 |
| 13. |
И. Ш. Калимуллин, В. Г. Пузаренко, “О принципах вычислимости на допустимых множествах”, Матем. тр., 7:2 (2004), 35–71 |
| 14. |
И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Позитивные представления семейств относительно $e$-оракулов”, Сиб. матем. ж., 59:4 (2018), 823–833 |
| 15. |
С. С. Гончаров, А. Сорби, “Обобщенно-вычислимые нумерации и нетривиальные полурешетки Роджерса”, Алгебра и логика, 36:6 (1997), 621–641 |
