Topology of Diophantine sets: remarks on Mazur’s conjectures
Gunther Cornelissen, Karim Zahidi · Contemporary mathematics - American Mathematical Society · 2000
We show that Mazur's conjecture on the real topology of rational points on varieties implies that there is no diophantine model of the rational integers in the rational numbers. We also prove that there is a diophantine model of the polynomial ring over a finite field in the ring of rational functions over that finite field. Both proofs depend upon Matijasevich's theorem.