Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1722

Preprint Number 1722

Previous Next Preprint server

1722. Eran Alouf
On dp-minimal expansions of the integers

Submission date: 30 January 2020


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.

Last updated: March 23 2021 10:21 Please send your corrections to: