Enrichments of Boolean algebras by Presburger predicates
Jamshid Derakhshan, Angus J. Macintyre · Fundamenta Mathematicae · 2017
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. Our main enrichment is by a predicate for the ideal o