scientific article; zbMATH DE number 1984513

MaRDI QIDQ4428878zbMATH OpenFDO

Authors Gerald J. Massey

Publication date 22 September 2003

zbMATH Keywords

Lindenbaum algebraatomic Boolean algebraStone's representation theoremfinite-variable fragment of axiomatization

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logical aspects of Boolean algebras (03G05)

Recommendations

• A natural axiom system for Boolean algebras with applications
• A complete Boolean algebra that has no proper atomless complete subalgebra
• Publication:4724626
• scientific article; zbMATH DE number 4089517
• scientific article; zbMATH DE number 3857062

Cited in

(5)

• Atomicity of the Boolean algebra of direct factors of a directed set
• A natural axiom system for Boolean algebras with applications
• The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier
• Atomless Boolean algebras computable in polynomial time
• scientific article; zbMATH DE number 5809201 (Why is no real title available?)

This page was built for publication:

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