The preservation of Sahlqvist equations in completions of Boolean algebras with operators (Q5932468)

Jónsson and Tarski extended the theory of canonical extensions of Boolean algebras to Boolean algebras with additional operators that are additive in each coordinate, the so called Boolean algebras with operators. They showed that every Boolean algebra with operators \(\mathcal A\) has a canonical extension \(\mathcal B\) that is unique up to isomorphisms over \(\mathcal A\). Moreover, they also proved that every strictly positive equation (that is equation in which the complementation symbol does not occur) which holds in \(\mathcal A\) must hold in \(\mathcal B\), or, that strictly positive equations are preserved under the passage to the canonical extension.