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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.