scientific article; zbMATH DE number 3948237

MaRDI QIDQ3718689zbMATH OpenFDO

Authors Burkhard Molzan

Publication date 1985

zbMATH Keywords

binary Ramsey quantifiergeneralized quantifiers

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Logic with extra quantifiers and operators (03C80)

Recommendations

• Ramsey theorems for Boolean algebras
• On axiomatizations of Boolean algebras
• SOME RAMSEY THEORY IN BOOLEAN ALGEBRA FOR COMPLEXITY CLASSES
• scientific article; zbMATH DE number 3557845
• The Theory of Boolean Algebras With Q₀ and Quantification Over Ideals
• scientific article; zbMATH DE number 4081539
• scientific article; zbMATH DE number 4049691
• On Boolean Algebras and their Recursive Completions
• scientific article; zbMATH DE number 3112018
• The Boolean sub-algebra on quantales

Cited in

(4)

• scientific article; zbMATH DE number 3843733 (Why is no real title available?)
• The Theory of Boolean Algebras With Q₀ and Quantification Over Ideals
• SOME RAMSEY THEORY IN BOOLEAN ALGEBRA FOR COMPLEXITY CLASSES
• scientific article; zbMATH DE number 203219 (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 Q3718689)