A. J. Wilkie

Model theory of algebra and arithmetic
Logic Colloquium '84
O-Minimality and Diophantine Geometry