Вычислимые булевы алгебры и сложность идеала Фреше
C. C. Гончаров
Новосибирский государственный университет, Новосибирск, Россия
PDF полного текста
C. C. Гончаров
Новосибирский государственный университет, Новосибирск, Россия
PDF полного текста
Вычислимые булевы алгебры и сложность идеала Фреше
C. C. Гончаров
Новосибирский государственный университет, Новосибирск, Россия
PDF полного текста
C. C. Гончаров
Новосибирский государственный университет, Новосибирск, Россия
PDF полного текста
C. C. Гончаров, ``Вычислимые булевы алгебры и сложность идеала Фреше'', Сириус. Мат. ж. 1, No. 1, 44−53 (2025).
Вопросы вычислимости булевых алгебр лежат в русле многих исследований в теории конструктивных и вычислимых моделей, которая была инициирована А. И. Мальцевым и активно развивается в настоящее время. Мы исследуем один из давно обсуждаемых вопросов о разрешимости идеала Фреше и связи с разрешимостью множества атомов.
Исследование выполнено за счет гранта Российского научного фонда №23-11-00170, https://rscf.ru/project/23-11-00170/.
S. S. Goncharov, ``Computable Boolean Algebras and Complexity of the Fréchet Ideal,'' J. Math. Sci. (New York) 284, No. 1, 72−82 (2024).
DOI: 10.1007/s10958-024-07328-1
DOI: 10.1007/s10958-024-07328-1
