С. С. Гончаров, “Вычислимые булевы алгебры и сложность идеала Фреше”, Сириус. Матем. журнал, 1:1 (2025), 44–53.

Вопросы вычислимости булевых алгебр лежат в русле многих исследований в теории конструктивных и вычислимых моделей, которая была инициирована А. И. Мальцевым и активно развивается в настоящее время. Мы исследуем один из давно обсуждаемых вопросов о разрешимости идеала Фреше и связи с разрешимостью множества атомов.

Исследование выполнено за счет гранта Российского научного фонда (проект № 23-11-00170).

S. S. Goncharov, “Computable Boolean Algebras and Complexity of the Fréchet Ideal,” J. Math. Sci. (New York), 284:1 (2024), 72−82.
DOI: 10.1007/s10958-024-07328-1