and the Number of Non-Isomorphic Models
- S. Shelah, The Hebrew University, Jerusalem, Israel
In this research monograph, the author's work on classification and related topics are presented. This revised edition brings the book up to date with the addition of four new chapters as well as various corrections to the 1978 text.
The additional chapters X - XIII present the solution to countable first order T of what the author sees as the main test of the theory. In Chapter X the Dimensional Order Property is introduced and it is shown to be a meaningful dividing line for superstable theories. In Chapter XI there is a proof of the decomposition theorems. Chapter XII is the crux of the matter: there is proof that the negation of the assumption used in Chapter XI implies that in models of T a relation can be defined which orders a large subset of m|M|. This theorem is also the subject of Chapter XIII.
- Published: December 1990
- Imprint: NORTH-HOLLAND
- ISBN: 978-0-444-70260-9
This exhaustive compendium of results in stability theory and classification theory will remain the ultimate reference for researchers in the field until the time comes for the author to revise it again.
P. Smith, Mathematical Reviews
This is a very important book for all model theorists...
Revue Roumaine de Mathématiques Pures et Appliquées