Atomless varieties

DOI10.2178/JSL/1052669066MaRDI QIDQ3160556zbMATH OpenOpenAlexFDO

Authors Yde Venema

Publication date 9 February 2005

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jsl/1052669066

zbMATH Keywords

modal logicincompletenessatomsBoolean algebras with operatorsvariety of Boolean algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Logical aspects of Boolean algebras (03G05)

Recommendations

• scientific article; zbMATH DE number 1215476
• Stability of the Blok theorem
• Elementary generation and canonicity for varieties of Boolean algebras with operators
• Persistence and atomic generation for varieties of Boolean algebras with operators
• A note on atoms in polymodal algebras

Cites work

• scientific article; zbMATH DE number 1202406 (Why is no real title available?)
• scientific article; zbMATH DE number 1215476 (Why is no real title available?)
• scientific article; zbMATH DE number 475198 (Why is no real title available?)
• scientific article; zbMATH DE number 2024609 (Why is no real title available?)
• An incompleteness theorem in modal logic
• Modal logic
• Universal classes of simple relation algebras
• Varieties of complex algebras

Cited in

(4)

• Canonical varieties with no canonical axiomatisation
• Stability of the Blok theorem
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Nonconservative extensions by propositional quantifiers and modal incompleteness

This page was built for publication: Atomless varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3160556)