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

Доказывается существование вычислимой булевой алгебры элементарной характеристики (1,0,1) с вычислимыми множеством атомов и идеалом Ершова–Тарского, у которой нет сильно вычислимой изоморфной копии. Приводится также некоторое описание $\Delta^0_6$-вычислимых булевых алгебр.