You are here

Model Theory

Edition: 
3
Publisher: 
Dover Publications
Number of Pages: 
650
Price: 
34.95
ISBN: 
9780486488219

Dover’s reissue of this classical book is a wonderful excuse to review it and reassess its value, both historical and pedagogical, in the context of the development of model theory in the decades following its first edition (North-Holland,1973; third edition, 1990). The book under review was the first successful textbook on model theory that collected and organized in a systematic way the basic results of model theory, previously dispersed on the literature or preserved only as “folklore facts”, known to the experts but not otherwise widely available to the mathematical community. The systematic organization provided by the authors was so successful that it could almost be seen in the table of contents of most other books published after this one.

First, the basic notions and results are introduced: Propositional logic, languages, models, first-order theories, and elimination of quantifiers. Along the way, the main results proved include the compactness theorem and the Lindenbaum theorem.

Next, the book introduces several methods to construct models and various model-theoretic constructions, from models constructed from constants or chains to models constructed from ultraproducts. The first four chapters can be used in an introductory course in model theory, and they do not feel overly outdated.

The last three chapters take some advanced topics, from saturated and special models in Chapter five, Horn sentences in chapter six, to categoricity in power and Morley’s theorem in chapter seven.

Either by being at the right place at the right time or by some fine-tuned sense of where the subject was moving, the special topics chosen by the authors have shown their importance in recent developments. In the last ten or twenty years, model theory and its methods, especially the ones related to the mentioned topics, have been used to obtain several important results in arithmetic algebraic geometry and group theory. These applications have helped to show the importance of model theory and raised interest among researchers and students, with a growing number of textbooks and monographs available now for the interested reader. Perhaps there is still a special place for the book that, partly, started these developments. I, for one, am thankful to Dover for keeping such a nice book in print.


Felipe Zaldivar is Professor of Mathematics at the Universidad Autonoma Metropolitana-I, in Mexico City. His e-mail address is fz@xanum.uam.mx.

Date Received: 
Tuesday, September 11, 2012
Reviewable: 
Yes
Include In BLL Rating: 
Yes
C. C. Chang and H. Jerome Keisler
Publication Date: 
2012
Format: 
Paperback
Category: 
Monograph
Felipe Zaldivar
10/27/2012
BLL Rating: 

Preface
1. Introduction
2. Models contructed from constants
3. Further model-theoretic constructions
4. Ultraproducts
5. Saturated and special models
6. More about ultraproducts and generalizations
7. Selected topics
Appendix A. Set theory
Appendix B. Open problems in classical model theory
Historical notes
References
Additional references
Index of definitions
Index of symbols
Publish Book: 
Modify Date: 
Saturday, October 27, 2012

Dummy View - NOT TO BE DELETED