The Theory of Superatomic Boolean Algebras in the Logic With the Binary Ramsey Quantifier

DOI10.1002/MALQ.19820282502MaRDI QIDQ3964544zbMATHOpenAlexFDO

Authors Burkhard Molzan

Publication date 1982

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19820282502

zbMATH Keywords

generalized quantifier

Mathematics Subject Classification ID

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

This page was built for publication: The Theory of Superatomic Boolean Algebras in the Logic With the Binary Ramsey Quantifier

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