|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Процессы и структуры на аппроксимационных пространствах
А. И. Стукачевab a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
b Новосибирский гос. ун-т, ул. Пирогова, 1, г. Новосибирск, 630090, РОССИЯ
Аннотация:
Вводится понятие компоненты вычислимости на допустимом множестве, рассматриваются минимальная и максимальная компоненты вычислимости на наследственно конечных надстройках и сответствующие этим компонентам скачки. Показывается, что к скачкам максимальной компоненты вычислимости на наименьшем допустимом множестве $\mathbb{HF}(\varnothing)$ $\Sigma$-сводится поле действительных чисел. Тем самым получен результат, в терминах $\Sigma$-сводимости связывающий действительные числа, понимаемые как структура, с действительными числами, понимаемымим как аппроксимационное пространство. Сформулирван ряд естественных открытых вопросов.
Ключевые слова:
теория вычислимости, допустимые множества, аппроксимационные пространства, конструктивные модели, вычислимый анализ, гиперарифметическая вычислимость.
Поступило: 13.04.2015 Окончательный вариант: 29.12.2016
Образец цитирования:
А. И. Стукачев, “Процессы и структуры на аппроксимационных пространствах”, Алгебра и логика, 56:1 (2017), 93–109; Algebra and Logic, 56:1 (2017), 63–74
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al779 https://www.mathnet.ru/rus/al/v56/i1/p93
|
Статистика просмотров: |
Страница аннотации: | 189 | PDF полного текста: | 41 | Список литературы: | 26 | Первая страница: | 8 |
|