|
Вычислимая структура с нестандартной вычислимостью
Р. Р. Авдеевa, В. Г. Пузаренкоab a Новосибирский гос. университет,
ул. Пирогова, 2,
Новосибирск, 630090 РОССИЯ
b Институт математики
им. С. Л. Соболева СО РАН,
просп. Академика Коптюга, 4,
Новосибирск, 630090 РОССИЯ
Аннотация:
В работе приводится пример вычислимого допустимого множества, имеющего более высокий уровень вычислимости, нежели у стандартной модели арифметики. Попутно строится пример $1$-разрешимой модели неразрешимой подмодельно полной теории.
Ключевые слова и фразы:
допустимое множество, гипердопустимое множество, наследственно конечная надстройка, рекурсивно насыщенная модель, вычислимая модель, разрешимая модель, сигма-сводимость, сигма-определимость.
Статья поступила: 13.09.2017
Образец цитирования:
Р. Р. Авдеев, В. Г. Пузаренко, “Вычислимая структура с нестандартной вычислимостью”, Матем. тр., 21:2 (2018), 3–60; Siberian Adv. Math., 29:2 (2019), 77–115
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mt337 https://www.mathnet.ru/rus/mt/v21/i2/p3
|
Статистика просмотров: |
Страница аннотации: | 269 | PDF полного текста: | 59 | Список литературы: | 35 | Первая страница: | 7 |
|