Model theory is a branch of mathematical logic that has found applications in several areas of algebra and geometry. It provides a unifying framework for the understanding of old results and more recently has led to significant new results, such as a proof of the Mordell-Lang conjecture for function fields in positive characteristic. Perhaps surprisingly, it is sometimes the most abstract aspects of model theory that are relevant to those applications. This book gives the necessary background for understanding both the model theory and the mathematics behind the applications. Aimed at graduate students and researchers, it contains introductory surveys by leading experts covering the whole spectrum of contemporary model theory (stability, simplicity, o-minimality and variations), and introducing and discussing the diverse areas of geometry (algebraic, diophantine, real analytic, p-adic, and rigid) to which the model theory is applied. The book begins with an introduction to model theory by David Marker. It then broadens into three components: pure model theory (Bradd Hart, Dugald Macpherson), geometry(Barry Mazur, Ed Bierstone and Pierre Milman, Jan Denef), and the model theory of fields (Marker, Lou van den Dries, Zoe Chatzidakis).

This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. These form a subset of the type space of a theory that behaves in many ways like the space of types in a stable theory. This part begins with an introduction to the key ideas of stability theory for stably dominated types. Part II continues with an outline of some classical results in the model theory of valued fields and explores the application of stable domination to algebraically closed valued fields. The research presented here is made accessible to the general model theorist by the inclusion of the introductory sections of each part.

Model theory has made substantial contributions to semialgebraic, subanalytic, p-adic, rigid and diophantine geometry. These applications range from a proof of the rationality of certain Poincare series associated to varieties over p-adic fields, to a proof of the Mordell-Lang conjecture for function fields in positive characteristic. In some cases (such as the latter) it is the most abstract aspects of model theory which are relevant. This book, originally published in 2000, arising from a series of introductory lectures for graduate students, provides the necessary background to understanding both the model theory and the mathematics behind these applications. The book is unique in that the whole spectrum of contemporary model theory (stability, simplicity, o-minimality and variations) is covered and diverse areas of geometry (algebraic, diophantine, real analytic, p-adic, and rigid) are introduced and discussed, all by leading experts in their fields.

This book addresses a gap in the model-theoretic understanding of valued fields that has, until now, limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory. Part I of the book is a study of stably dominated types. These form a subset of the type space of a theory that behaves in many ways like the space of types in a stable theory. This part begins with an introduction to the key ideas of stability theory for stably dominated types. Part II continues with an outline of some classical results in the model theory of valued fields and explores the application of stable domination to algebraically closed valued fields. The research presented here is made accessible to the general model theorist by the inclusion of the introductory sections of each part.