The Theory of Superatomic Boolean Algebras in the Logic With the Binary Ramsey Quantifier
DOI10.1002/MALQ.19820282502zbMATH Open0499.03023OpenAlexW2073619199MaRDI QIDQ3964544FDOQ3964544
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
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)
