С. А. Александрова, “О $\Sigma$-определимости в наследственно конечных надстройках и вычислимом анализе”, Сиб. матем. журн., 2018, том 59, номер 5,страницы 970

О $\Sigma$-определимости в наследственно конечных надстройках и вычислимом анализе

С. А. Александрова

Новосибирский гос. университет, ул. Пирогова, 1, Новосибирск 630090

Аннотация: Построена вычислимая вещественная функция, не $\Sigma$-определимая в наследственно конечных надстройках над расширениями поля действительных чисел с разрешимой теорией.

Ключевые слова: вычислимость, допустимое множество, наследственно конечная надстройка, $\Sigma$-определимость, вычислимый анализ.

УДК: 510.5

Статья поступила: 24.10.2017

DOI: 10.17377/smzh.2018.59.502