Аннотация:
Вводится понятие компоненты вычислимости на допустимом множестве, рассматриваются минимальная и максимальная компоненты вычислимости на наследственно конечных надстройках и сответствующие этим компонентам скачки. Показывается, что к скачкам максимальной компоненты вычислимости на наименьшем допустимом множестве HF(∅)Σ-сводится поле действительных чисел. Тем самым получен результат, в терминах Σ-сводимости связывающий действительные числа, понимаемые как структура, с действительными числами, понимаемымим как аппроксимационное пространство. Сформулирван ряд естественных открытых вопросов.
Работа выполнена при финансовой поддержке Министерства образования и науки Российской Федерации, проект 8227, Российского фонда фундаментальных исследований, проект 15-01-05114, и государственной программы поддержки ведущих научных школ РФ, проект НШ-6848.2016.1.
Образец цитирования:
А. И. Стукачев, “Процессы и структуры на аппроксимационных пространствах”, Алгебра и логика, 56:1 (2017), 93–109; Algebra and Logic, 56:1 (2017), 63–74
\RBibitem{Stu17}
\by А.~И.~Стукачев
\paper Процессы и структуры на аппроксимационных пространствах
\jour Алгебра и логика
\yr 2017
\vol 56
\issue 1
\pages 93--109
\mathnet{http://mi.mathnet.ru/al779}
\crossref{https://doi.org/10.17377/alglog.2017.56.104}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2408574}
\transl
\jour Algebra and Logic
\yr 2017
\vol 56
\issue 1
\pages 63--74
\crossref{https://doi.org/10.1007/s10469-017-9426-9}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000401463200004}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85018773802}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al779
https://www.mathnet.ru/rus/al/v56/i1/p93
Эта публикация цитируется в следующих 1 статьяx:
Alexey Stukachev, Advances in Intelligent Systems and Computing, 1242, Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, 2021, 53