This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplicity and Hrushovski constructions. The authors introduce the classic results, as well as more recent developments in this vibrant area of mathematical logic. Concrete mathematical examples are included throughout to make the concepts easier to follow. The book also contains over 200 exercises, many with solutions, making the book a useful resource for graduate students as well as researchers.
Katrin Tent is Professor of Mathematics at Westfalische Wilhelms-Universitat Munster, Germany. Martin Ziegler is a Professor of Mathematics at Albert-Ludwigs-Universitat Freiburg, Germany.
Preface; 1. The basics; 2. Elementary extensions and compactness; 3. Quantifier elimination; 4. Countable models; 5. Aleph-1-categorical theories; 6. Morley rank; 7. Simple theories; 8. Stable theories; 9. Prime extensions; 10. The fine structure of 1-categorical theories; A. Set theory; B. Fields; C. Combinatorics; D. Solutions of exercises; Bibliography; Index.