Уравнения в свободной топобулевой алгебре

Доказывается разрешимость универсальной теории свободной топобулевой алгебры $F_\omega(S4)$ в сигнатуре, расширенной константами по свободным порождающим. Найден алгоритм распознавания разрешимости уравнений в $F_\omega(S4)$ и построения решения разрешимых в $F_\omega(S4)$ уравнений. На основе этих результатов получены аналогичные теоремы для свободной псевдобулевой алгебры.