Topology of Diophantine Sets: Remarks on Mazur's Conjectures

Abstract

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.