Topology of Diophantine Sets: Remarks on Mazur's Conjectures

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.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.