Enrichments of Boolean algebras by Presburger predicates

DOI10.4064/fm673-1-2017zbMath1420.03145OpenAlexW2613334281MaRDI QIDQ5348066

Jamshid Derakhshan, Angus J. Macintyre

Publication date: 11 August 2017

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/fm673-1-2017

zbMATH Keywords

quantifier eliminationBoolean algebrasdecidability

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35)

Related Items (4)

Some supplements to Feferman-Vaught related to the model theory of adeles ⋮ Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$ ⋮ Axiomatizing Boolean Differentiation ⋮ Model theory of adeles. I.

This page was built for publication: Enrichments of Boolean algebras by Presburger predicates