RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 2017, том 56, номер 1, страницы 93–109 (Mi al779)

Эта публикация цитируется в 1 статье

Процессы и структуры на аппроксимационных пространствах

А. И. Стукачевab

a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
b Новосибирский гос. ун-т, ул. Пирогова, 1, г. Новосибирск, 630090, РОССИЯ

Аннотация: Вводится понятие компоненты вычислимости на допустимом множестве, рассматриваются минимальная и максимальная компоненты вычислимости на наследственно конечных надстройках и сответствующие этим компонентам скачки. Показывается, что к скачкам максимальной компоненты вычислимости на наименьшем допустимом множестве $\mathbb{HF}(\varnothing)$ $\Sigma$-сводится поле действительных чисел. Тем самым получен результат, в терминах $\Sigma$-сводимости связывающий действительные числа, понимаемые как структура, с действительными числами, понимаемымим как аппроксимационное пространство. Сформулирван ряд естественных открытых вопросов.

Ключевые слова: теория вычислимости, допустимые множества, аппроксимационные пространства, конструктивные модели, вычислимый анализ, гиперарифметическая вычислимость.

УДК: 510.5

Поступило: 13.04.2015
Окончательный вариант: 29.12.2016

DOI: 10.17377/alglog.2017.56.104


 Англоязычная версия: Algebra and Logic, 2017, 56:1, 63–74

Реферативные базы данных:


© МИАН, 2024