Морозов А. С., Касымканулы Б.
Булевы алгебры с конечными вычислимыми семействами вычислимых автоморфизмов

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

Morozov A. S., Kasymkhanuly B.
Boolean algebras with finite families of computable automorphisms

We prove that each computable Boolean algebra has a computable presentation in which for every computable family of automorphisms the set of atoms moved by at least one of its members is finite. This implies that each computable atomic Boolean algebra has a computable presentation in which its every computable family of automorphisms is finite. The priority argument is not used in the proof.

Полный текст статьи / Full texts:

• PDF file (432 KB)
• PostScript file (799 KB)