On dp-minimal expansions of the integers

Eran Alouf

We show that if $\mathcal{Z}$ is a dp-minimal expansion of $\left(\mathbb{Z},+,0,1\right)$ that defines an infinite subset of $\mathbb{N}$, then $\mathcal{Z}$ is interdefin…