COVID-19 Update: We are currently shipping orders daily. However, due to transit disruptions in some geographies, deliveries may be delayed. To provide all customers with timely access to content, we are offering 50% off Science and Technology Print & eBook bundle options. Terms & conditions.
Classification Theory - 2nd Edition - ISBN: 9780444702609, 9780080880242

Classification Theory, Volume 92

2nd Edition

and the Number of Non-Isomorphic Models

Author: S. Shelah
eBook ISBN: 9780080880242
Imprint: North Holland
Published Date: 6th December 1990
Page Count: 740
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST

Institutional Subscription

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Table of Contents

Preliminaries. Ranks and Incomplete Types. Global Theory. Prime Models. More on Types and Saturated Models. Saturation of Ultraproducts. Construction of Models. The Number of Non-Isomorphic Models in Pseudo-Elementary Classes. Categoricity and the Number of Models in Elementary Classes. Classification for FaNo-Saturated Models. The Decomposition Theorem. The Main Gap For Countable Theories. For Thomas the Doubter. Appendix: Filters, Stationary Sets and Families of Sets. Partition Theorems. Various Results. Historical Remarks. References.


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.


No. of pages:
© North Holland 1990
6th December 1990
North Holland
eBook ISBN:


@from:P. Smith @qu: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. @source:Mathematical Reviews @qu:This is a very important book for all model theorists... @source:Revue Roumaine de Mathématiques Pures et Appliquées

Ratings and Reviews

About the Author

S. Shelah

Affiliations and Expertise

The Hebrew University, Jerusalem, Israel