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

atomsBoolean algebras with operatorsincompletenessmodal logicvariety of Boolean algebras

Mathematics Subject Classification ID

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

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

• An incompleteness theorem in modal logic
• 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?)
• Modal logic
• Universal classes of simple relation algebras
• Varieties of complex algebras

Cited in

(6)

• A note on atoms in polymodal algebras
• scientific article; zbMATH DE number 1215476 (Why is no real title available?)
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Canonical varieties with no canonical axiomatisation
• Nonconservative extensions by propositional quantifiers and modal incompleteness
• Stability of the Blok theorem

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)