Classification Theory and the Number of Non-Isomorphic Models

فصل های اضافی X - XIII راه حلی را برای T مرتبه اول قابل شمارش ارائه می دهند که نویسنده آن را به عنوان می بیند. آزمون اصلی نظریه در فصل X، ویژگی نظم بعدی معرفی شده است و نشان داده می شود که یک خط تقسیم معنادار برای نظریه های فوق پایدار است. در فصل یازدهم یک اثبات قضایای تجزیه وجود دارد. فصل دوازدهم اصل موضوع است: شواهدی وجود دارد که نفی فرض مورد استفاده در فصل یازدهم به این معنی است که در مدل‌های T می‌توان رابطه‌ای تعریف کرد که به یک زیرمجموعه بزرگ از ^m|M| . این قضیه نیز موضوع فصل سیزدهم است.

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.