О конструктивных булевых алгебрах с почти тождественными автоморфизмами

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