Булевы алгебры с конечными вычислимыми семействами вычислимых автоморфизмов

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