Stability of the Blok Theorem

Abstract.

W. Blok proved that varieties of boolean algebras with a single unary operator uniquely determined by their class of perfect algebras (i.e., duals of Kripke frames) are exactly those which are intersections of conjugate varieties of splitting algebras. The remaining ones share their class of perfect algebras with uncountably many other varieties. This theorem is known as the Blok dichotomy or the Blok alternative. We show that the Blok dichotomy holds when perfect algebras in the formulation are replaced by ω-complete algebras, atomic algebras with completely additive operators or algebras admitting residuals. We also generalize the Blok dichotomy for lattices of varieties of boolean algebras with finitely many unary operators. In addition, we answer a question posed by W. Dziobiak and show that classes of lattice-complete algebras or duals of Scott-Montague frames in a given variety are not determined by their subdirectly irreducible members.