Вычислимая структура с нестандартной вычислимостью | Sciact - Система учета научной деятельности ИМ СО РАН

Вычислимая структура с нестандартной вычислимостью Научная публикация

Журнал

Математические труды
ISSN: 1560-750X

Вых. Данные

Год: 2018, Том: 21, Номер: 2, Страницы: 3-60 Страниц : 58 DOI: 10.17377/mattrudy.2018.21.201

Ключевые слова

допустимое множество, гипердопустимое множество, наследственно конечная надстройка, рекурсивно насыщенная модель, вычислимая модель, разрешимая модель, сигма-сводимость, сигма-определимость.

Авторы

Авдеев Р.Р. ¹ , Пузаренко Вадим Григорьевич ^1,2

Организации

1	Новосибирский государственный университет
2	Институт математики им. С.Л. Соболева СО РАН

В работе приводится пример вычислимого допустимого множества, имеющего более высокий уровень вычислимости, нежели у стандартной модели арифметики. Попутно строится пример 1-разрешимой модели неразрешимой подмодельно полной теории.

Авдеев Р.Р. , Пузаренко В.Г.
Вычислимая структура с нестандартной вычислимостью
Математические труды. 2018. Т.21. №2. С.3-60. DOI: 10.17377/mattrudy.2018.21.201

Avdeev R.R. , Puzarenko V.G.
A Computable Structure with Non-Standard Computability
Siberian Advances in Mathematics. 2019. V.29. N2. P.77-115. DOI: 10.3103/S1055134419020019 Scopus OpenAlex

Нет идентификаторов

Пока нет цитирований