Аннотация:
В работе приводится пример вычислимого допустимого множества, имеющего более высокий уровень вычислимости, нежели у стандартной модели арифметики. Попутно строится пример $1$-разрешимой модели неразрешимой подмодельно полной теории.
Ключевые слова и фразы:допустимое множество, гипердопустимое множество, наследственно конечная надстройка, рекурсивно насыщенная модель, вычислимая модель, разрешимая модель, сигма-сводимость, сигма-определимость.
Полный текст:
PDF файл (491 kB)
