Model Theory and Algebraic Geometry [electronic resource] : An introduction to E. Hrushovski’s proof of the geometric Mordell-Lang conjecture / edited by Elisabeth Bouscaren.

to model theory -- to stability theory and Morley rank -- Omega-stable groups -- Model theory of algebraically closed fields -- to abelian varieties and the Mordell-Lang conjecture -- The model-theoretic content of Lang’s conjecture -- Zariski geometries -- Differentially closed fields -- Separably closed fields -- Proof of the Mordell-Lang conjecture for function fields -- Proof of Manin’s theorem by reduction to positive characteristic.