Вестн. НГУ. Сер. матем., мех., информ.,
2011, том 11, выпуск 4, страницы 3–7
(Mi vngu95)
|
Эта публикация цитируется в
2 статьях
Неразрешимость элементарных теорий полурешеток Роджерса на предельных уровнях арифметической иерархии
Н. А. Бакланова Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия
Аннотация:
Доказано, что элементарная теория любой нетривиальной полурешетки Роджерса в гиперарифметической иерархии является неразрешимой.
Ключевые слова:
нумерация, полурешетка Роджерса, гиперарифметическая иерархия, минимальные элементы, минимальные накрытия.
УДК:
510.5 Поступила в редакцию: 25.02.2011
© , 2024
Полный текст:
PDF файл (198 kB)