The Theory of Boolean Algebras With Q0 and Quantification Over Ideals

DOI10.1002/MALQ.19860321005MaRDI QIDQ3765746zbMATH OpenOpenAlexFDO

Authors 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) Quantifier elimination, model completeness, and related topics (03C10) Model theory of denumerable and separable structures (03C15) Boolean algebras (Boolean rings) (06E99)

Recommendations

• scientific article; zbMATH DE number 4037810
• Undecidability of theories of Boolean algebras with selected ideals
• scientific article; zbMATH DE number 3948237
• Countably-categorical Boolean algebras with distinguished ideals
• scientific article; zbMATH DE number 4055586

Cited in

(5)

• Undecidability of theories of Boolean algebras with selected ideals
• Théories d'algèbres de Boole munies d'idéaux distingués. II
• scientific article; zbMATH DE number 3935014 (Why is no real title available?)
• scientific article; zbMATH DE number 3948237 (Why is no real title available?)
• scientific article; zbMATH DE number 4037810 (Why is no real title available?)

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

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