Defining ${\mathbb Z}$ in ${\mathbb Q}$

Abstract

We show that ${\mathbb Z}$ is definable in ${\mathbb Q}$ by a universal first-order formula in the language of rings. We also present an $\forall\exists$-formula for ${\mathbb Z}$ in ${\mathbb Q}$ with just one universal quantifier. We exhibit new diophantine subsets of ${\mathbb Q}$ like the complement of the image of the norm map under a quadratic extension, and we give an elementary proof for the fact that the set of nonsquares is diophantine.