A Course in Model Theory
Publisher: Springer
Published: Oct 08, 2012
Format: paperback
Number of pages: 480
ISBN-13: 9781461264460
Description: This book, translated from the French, is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter introduces logic via the study of the models of arithmetic, and the following is a combinatorial tool-box preparing for the chapters on saturated and prime models. The last ten chapters form a rather complete but nevertheless accessible exposition of stability theory, which is the core of the subject.
Notes: Source title: A Course in Model Theory (Universitext)