2013/10/13 by Jamshid Derakhshan, Angus Macintyre, Derakhshan, Jamshid +1
Computer Science · #03C10 #03C60 #06E05 #06E25 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1310.3527
openalex publication_date 2013/10/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.