structures and some applications of this theorem to problems in diophantine geometry due to
Masser, Peterzil, Pila, Starchenko, and Zannier. … Over the past decade and a half, starting
with Hrushovski’s proof of the function field Mordell-Lang conjecture [12], some of the more
refined theorems from model theory in the sense of mathematical logic have been applied to
problems in diophantine geometry. In most of these cases, the technical results underlying the …