02646nmm a2200385 u 4500001001200000003002700012005001700039007002400056008004100080020001800121020001800139020001500157050001000172100002000182245007700202250001200279260004100291300002100332505053200353505006800885653002800953653003200981653002401013653006901037653004501106653003601151041001901187989005301206490005601259776001501315776001801330856008301348082001101431520081801442EB000291297EBX0100000000000000008762700000000000000.0cr|||||||||||||||||||||110501 ||| eng a9780444702609 a9780080880242 a0444702601 4aQA9.71 aShelah, Saharon00aClassification theory and the number of non-isomorphic modelscS. Shelah aRev. ed aAmsterdambNorth-Hollandc1990, 1990 axxxiv, 705 pages0 aFront Cover; Classification Theory and the Number of Non-Isomorphic Models; Copyright Page; Contents; Acknowledgements; Introduction; Introduction to the revised edition; Open problems; Added in proof; Notation; Chapter I. Preliminaries; Chapter II. Ranks and Incomplete Types; Chapter III. Global Theory; Chapter IV. Prime Models; Chapter V. More on Types and Saturated Models; Chapter VI. Saturation of Ultraproducts; Chapter VII. Construction of Models; Chapter VIII. The Number of Non-Isomorphic Models in Pseudo-Elementary0 aIncludes bibliographical references (pages 684-690) and indexes aThéorie des modèles aLogica Matematica / larpcal aMathematical models aModel theory / http://id.loc.gov/authorities/subjects/sh85086421 aModel theory / fast / (OCoLC)fst01024368 aMATHEMATICS / General / bisacsh07aeng2ISO 639-2 bZDB-1-ELCaElsevier eBook collection Mathematics0 aStudies in logic and the foundations of mathematics z008088024X z978008088024240uhttps://www.sciencedirect.com/science/bookseries/0049237X/92xVerlag3Volltext0 a511/.8 aIn 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 mM. This theorem is also the subject of Chapter XIII.