Publication:5348066

DOI10.4064/FM673-1-2017zbMATH Open1420.03145OpenAlexW2613334281MaRDI QIDQ5348066FDOQ5348066

Angus Macintyre, Jamshid Derakhshan

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

decidabilityBoolean algebrasquantifier elimination

Mathematics Subject Classification ID

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

Cited In (6)

• Some supplements to Feferman-Vaught related to the model theory of adeles
• Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$
• Model theory of adeles. I.
• Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
• Axiomatizing Boolean Differentiation
• Model completeness for finitely ramified Henselian fields valued in a \(\mathbb{Z}\)-group and for pseudo-algebraically closed fields

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348066)