A NEW DP-MINIMAL EXPANSION OF THE INTEGERS

DOI10.1017/jsl.2019.15zbMath1468.03037arXiv1707.07203OpenAlexW2737996686MaRDI QIDQ5222527

Christian D'Elbée, Eran Alouf

Publication date: 6 April 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.07203

zbMATH Keywords

Presburger arithmeticdp-minimalityexpansions of the group of integersintermediate structures

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

A family of dp-minimal expansions of \((\mathbb{Z}; +)\) ⋮ Interpolative fusions

Cites Work

• Unnamed Item
• Vapnik-Chervonenkis density in some theories without the independence property. II
• Supergenerix.
• Dp-minimality: basic facts and examples
• Classification theory and the number of non-isomorphic models.
• On superstable expansions of free abelian groups
• On expansions of \((\mathbf{Z},+,0)\)
• Stability and sparsity in sets of natural numbers
• Vapnik-Chervonenkis density in some theories without the independence property, I
• Strong theories of ordered Abelian groups
• On Dedekind complete o-minimal structures
• Stable groups and expansions of $(\mathbb Z,+,0)$
• THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
• Semialgebraic Expansions of C
• A Guide to NIP Theories
• DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES
• THE FIELD OF p-ADIC NUMBERS WITH A PREDICATE FOR THE POWERS OF AN INTEGER

This page was built for publication: A NEW DP-MINIMAL EXPANSION OF THE INTEGERS