On dp-minimal expansions of the integers II

Abstract

We first prove that if $\mathcal{Z}$ is a dp-minimal expansion of $\left(\mathbb{Z},+,0,1\right)$ which is not interdefinable with $\left(\mathbb{Z},+,0,1,<\right)$, then every infinite subset of $\mathbb{Z}$ definable in $\mathcal{Z}$ is generic in $\mathbb{Z}$. Using this, we prove that if $\mathcal{Z}$ is a dp-minimal expansion of $\left(\mathbb{Z},+,0,1\right)$ with monster model $G$ such that $G^{00}\neq G^{0}$, then for some $α\in\mathbb{R}\backslash\mathbb{Q}$, the cyclic order on $\mathbb{Z}$ induced by the embedding $n\mapsto nα+\mathbb{Z}$ of $\mathbb{Z}$ in $\mathbb{R}\big/\mathbb{Z}$ is definable in $\mathcal{Z}$. The proof employs the Gleason-Yamabe theorem for abelian groups.

Theorems & Definitions (79)

• Conjecture 1.1
• Theorem 1.2
• Theorem 1.3
• Definition 2.1
• Definition 2.2
• Definition 2.4
• Definition 2.6
• Remark 2.7
• Definition 2.8
• Definition 2.9