Расширенные теории булевых алгебр

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