The Theory of Boolean Algebras With Q0 and Quantification Over Ideals

DOI10.1002/MALQ.19860321005zbMath0629.03008OpenAlexW2031001607MaRDI QIDQ3765746

Martin Weese

Publication date: 1986

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

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

zbMATH Keywords

Boolean algebrasquantification over idealsthere exist infinitely many

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Boolean algebras (Boolean rings) (06E99) Quantifier elimination, model completeness, and related topics (03C10) Model theory of denumerable and separable structures (03C15)

This page was built for publication: The Theory of Boolean Algebras With Q₀ and Quantification Over Ideals