Булевы алгебры элементарной характеристики (1, 0, 1) с вычислимыми множеством атомов и идеалом атомных элементов

Abstract

Задача, решаемая в данной работе, является в какой-то степени более общей, чем исследование связи n-вычислимости и разрешимости булевых алгебр элементарной характеристики (n, 0, 1), которое полностью завершено. В работе рассматриваются вычислимые булевы алгебры элементарной характеристики (1, 0, 1) с вычислимыми множеством атомов и идеалом атомных элементов. Приводится доказательство того, что такие алгебры имеют сильно вычислимые изоморфные копии. Результат обобщается на случай булевых алгебр элементарной характеристики (n, 0, 1).