Магариевы и $\Delta$-псевдобулевы алгебры

Изучается возможность получения магариевой алгебры (с небулевой унарной операцией $\Delta$) из топобулевой алгебры с тем же носителем (и с небулевой операцией $\square$) так, чтобы небулевы операции были связаны равенством: $\square x=x\wedge\Delta x$. Для конечных топобулевых алгебр это равносильно выполнению дополнительно тождества $\square((\square(x'\vee\square x))'\vee x)=\square x$, выделяющего гжегорчиковы алгебры. Доказывается, что класс всех топобулевых алгебр, допускающих такое представление операции $\square$, является $\forall\exists\forall$-классом и не является универсальным. Однако показывается, что для того, чтобы топобулева алгебра вкладывалась в такую допускающую это представление топобулеву алгебру, необходимо и достаточно, чтобы она была гжегорчиковой.
Библиогр. 24.