Об ортогонально полной алгебраической системе

Доказывается хорновость элементарной теории полной алгебраической системы над полной безатомной булевой алгеброй, дается характеризация ее $\alpha$-насыщенности булевой локализации ортогонально полной алгебраической системы.