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

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