|
Вестник НГУ. Серия: Математика, механика, информатика, 2011, том 11, выпуск 4, страницы 3–7
(Mi vngu95)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Неразрешимость элементарных теорий полурешеток Роджерса на предельных уровнях арифметической иерархии
Н. А. Бакланова Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия
Аннотация:
Доказано, что элементарная теория любой нетривиальной полурешетки Роджерса в гиперарифметической иерархии является неразрешимой.
Ключевые слова:
нумерация, полурешетка Роджерса, гиперарифметическая иерархия, минимальные элементы, минимальные накрытия.
Поступила в редакцию: 25.02.2011
Образец цитирования:
Н. А. Бакланова, “Неразрешимость элементарных теорий полурешеток Роджерса на предельных уровнях арифметической иерархии”, Вестн. НГУ. Сер. матем., мех., информ., 11:4 (2011), 3–7
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu95 https://www.mathnet.ru/rus/vngu/v11/i4/p3
|
Статистика просмотров: |
Страница аннотации: | 172 | PDF полного текста: | 57 | Список литературы: | 48 | Первая страница: | 2 |
|