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.

The first book to introduce the rapidly developing subject of NIP theories, for students and researchers in model theory.

Absolute values and their completions – such as the p-adic number fields – play an important role in number theory. Krull's generalization of absolute values to valuations made possible applications in other branches of mathematics. In valuation theory, the notion of completion must be replaced by that of "Henselization". This book develops the theory of valuations as well as of Henselizations, based on the skills of a standard graduate course in algebra.

Vols. for 1969- include a section of abstracts.

These notes give a self-contained treatment of the theory of o-minimal structures from a geometric and topological viewpoint, assuming only rudimentary algebra and analysis. This book should be of interest to model theorists, analytic geometers and topologists.