"O-minimality and diophantine problems".