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

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

S. A. Aleksandrova
$\Sigma$-Definability in Hereditarily Finite Superstructures and Computable Analysis

We construct a computable real function not $\Sigma$-definable in hereditarily finite superstructures over the extensions with decidable theory of the reals.

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

Свободный доступ к полным текстам предоставляется после 1 июля года, следующего за годом публикации