Model Theory of Fields

The model theory of fields is an area for important interactions between mathematical, logical and classical mathematics. Recently, there have been major applications of model theoretic ideas to real analytic geometry and diophantine geometry. This book provides an introduction to this fascinating subject. In addition to introducing the basic model theory of the fields of real and complex numbers, we concentrate on differential fields and separably closed fields, the two theories used in Hrushovski's proof of the Mordell-Lang conjecture for function fields. This book is of interest to graduate students in either logic or in related areas of mathematics such as differential algebra or real algebraic geometry.