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

Вычислимая структура с нестандартной вычислимостью Full article

Journal

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

Output data

Year: 2018, Volume: 21, Number: 2, Pages: 3-60 Pages count : 58 DOI: 10.17377/mattrudy.2018.21.201

Tags

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

Authors

Авдеев Р.Р. ¹ , Puzarenko Vadim Grigorʹevich ^1,2

Affiliations

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

No identifiers

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