Enrichments of Boolean Algebras: a uniform treatment of some classical and some novel examples

arXiv1310.3527MaRDI QIDQ6245596FDOQ6245596

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.

Mathematics Subject Classification ID

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)