Defining Z in Q

We show that Z is definable in Q by a universal first-order formula in the language of rings. We also present an 89-formula for Z in Q with just one universal quantifier. We exhibit new diophantine subsets of 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.