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...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Published: |
Princeton University, Department of Mathematics
2016
|