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

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