Enrichments of Boolean Algebras: a uniform treatment of some classical and some novel examples
From MaRDI portal
Publication:6245596
arXiv1310.3527MaRDI QIDQ6245596FDOQ6245596
Angus Macintyre, Jamshid Derakhshan
Publication date: 13 October 2013
Abstract: We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean algebras, with special attention to quantifier-eliminations, complete axiomatizations and decidability. A classical example is the enrichment by a predicate for the ideal of finite sets, and a novel one involves predicates giving congruence conditions on the cardinality of finite sets. We focus on three examples, and classify them by expressive power.
Model-theoretic algebra (03C60) Structure theory of Boolean algebras (06E05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication: Enrichments of Boolean Algebras: a uniform treatment of some classical and some novel examples
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6245596)
