О вычислимой категоричности булевой алгебры $\mathfrak B(\omega)$ с выделенным автоморфизмом

Доказывается, что любая вычислимо перечислимая тьюрингова степень является степенью категоричности некоторой вычислимой булевой алгебры с выделенным автоморфизмом. Строится пример вычислимо категоричной булевой алгебры с выделенным автоморфизмом, имеющей множество атомов заданной вычислимо перечислимой тьюринговой степени.