scientific article; zbMATH DE number 1984513

zbMATH Open1028.03010MaRDI QIDQ4428878FDOQ4428878

Authors: Gerald J. Massey 

Publication date: 22 September 2003

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)

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)