Submission date: 30 January 2020

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 ∃^∞.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2001.11480: pdf, ps.