Definability and undecidability via the torsion subgroup of units

Caleb Springer

In this paper, we prove that $\mathbb{Z}$ is first-order definable in the ring of integers ${\mathbb{Z}}^{\text{ab}}$ of the maximal abelian extension ${\mathbb{Q}}^{\text{ab}}$ of $\m…