activity
19992008
most citedDefining the integers in large rings of number fields using one universal quantifier

2 citations · 3 across the 10 of their papers we have counts for

collaborators
Showing 2000 · math.LOShow all

1 paper · 2 filters

math.LO2000

Topology of Diophantine Sets: Remarks on Mazur's Conjectures

Gunther Cornelissen, Karim Zahidi

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…