|
Вестник НГУ. Серия: Математика, механика, информатика, 2014, том 14, выпуск 1, страницы 35–43
(Mi vngu325)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Элиминация метарекурсии из теоремы Оуинса
М. В. Доржиева Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия
Аннотация:
Доказаны существование универсальной и минимальной $\Pi^{1}_{1}$-нумераций $\Pi^{1}_{1}$-множеств и отсутствие однозначной и позитивной $\Pi^{1}_{1}$-нумераций для класса всех $\Pi^{1}_{1}$-множеств без использования метарекурсии.
Ключевые слова:
нумерация, минимальная нумерация, однозначная нумерация, позитивная нумерация, аналитическая иерархия.
Поступила в редакцию: 13.05.2013
Образец цитирования:
М. В. Доржиева, “Элиминация метарекурсии из теоремы Оуинса”, Вестн. НГУ. Сер. матем., мех., информ., 14:1 (2014), 35–43
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu325 https://www.mathnet.ru/rus/vngu/v14/i1/p35
|
Статистика просмотров: |
Страница аннотации: | 208 | PDF полного текста: | 73 | Список литературы: | 46 | Первая страница: | 3 |
|