On dp-minimal expansions of the integers

2020/01/30 by Alouf, Eran
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2001.11480

Abstract

We show that if Z is a dp-minimal expansion of (ℤ,+,0,1) that defines an infinite subset of ℕ , then Z is interdefinable with (ℤ,+,0,1, < ) . As a corollary, we show the same for dp-minimal expansions of (ℤ,+,0,1) which do not eliminate ∃^∞ .

Related

• On dp-minimal expansions of the integers II
• A family of dp-minimal expansions of (ℤ;+)
• Dp-minimal expansions of discrete ordered abelian groups
• Dp-minimal expansions of (ℤ,+) via dense pairs via Mordell-Lang
• On O-Minimal Expansions of (\ℚ,<,+,0)