Recent major advances in model theory include connections between model theory and Diophantine and rProducator: SPRINGER PG