|
О $\Sigma$-определимости в наследственно конечных надстройках и вычислимом анализе
С. А. Александрова Новосибирский гос. университет, ул. Пирогова, 1, Новосибирск 630090
Аннотация:
Построена вычислимая вещественная функция, не $\Sigma$-определимая в наследственно конечных надстройках над расширениями поля действительных чисел с разрешимой теорией.
Ключевые слова:
вычислимость, допустимое множество, наследственно конечная надстройка, $\Sigma$-определимость, вычислимый анализ.
Статья поступила: 24.10.2017
Образец цитирования:
С. А. Александрова, “О $\Sigma$-определимости в наследственно конечных надстройках и вычислимом анализе”, Сиб. матем. журн., 59:5 (2018), 970–975; Siberian Math. J., 59:5 (2018), 763–767
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3022 https://www.mathnet.ru/rus/smj/v59/i5/p970
|
Статистика просмотров: |
Страница аннотации: | 184 | PDF полного текста: | 43 | Список литературы: | 40 |
|