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.

Is the continuum hypothesis still open? If we interpret it as finding the laws of cardinal arithmetic (or exponentiation, since addition and multiplication were classically solved), the hypothesis would be solved by the independence results of G�del, Cohen, and Easton, with some isolated positive results (like Gavin-Hajnal). Most mathematicians expect that only more independence results remain to be proved. In Cardinal Arithmetic, however, Saharon Shelah offers an alternative view. By redefining the hypothesis, he gets new results for the conventional cardinal arithmetic, finds new applications, extends older methods using normal filters, and proves the existence of Jonsson algebra. Researchers in set theory and related areas of mathematical logic will want to read this provocative new approach to an important topic.