Defining ℤ in ℚ
We show that Z is definable in Q by a universal first-order formula in the language of rings. We also present an ∀∃-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...
| Autor principal: | |
|---|---|
| Formato: | Journal article |
| Publicado: |
Princeton University, Department of Mathematics
2016
|