



LEADER 
02646nmm a2200385 u 4500 
001 
EB000291297 
003 
EBX01000000000000000087627 
005 
00000000000000.0 
007 
cr 
008 
110501  eng 
020 


a 9780444702609

020 


a 9780080880242

020 


a 0444702601

050 

4 
a QA9.7

100 
1 

a Shelah, Saharon

245 
0 
0 
a Classification theory and the number of nonisomorphic models
c S. Shelah

250 


a Rev. ed

260 


a Amsterdam
b NorthHolland
c 1990, 1990

300 


a xxxiv, 705 pages

505 
0 

a Front Cover; Classification Theory and the Number of NonIsomorphic 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 NonIsomorphic Models in PseudoElementary

505 
0 

a Includes bibliographical references (pages 684690) and indexes

653 


a Théorie des modèles

653 


a Logica Matematica / larpcal

653 


a Mathematical models

653 


a Model theory / http://id.loc.gov/authorities/subjects/sh85086421

653 


a Model theory / fast / (OCoLC)fst01024368

653 


a MATHEMATICS / General / bisacsh

041 
0 
7 
a eng
2 ISO 6392

989 


b ZDB1ELC
a Elsevier eBook collection Mathematics

490 
0 

a Studies in logic and the foundations of mathematics

776 


z 008088024X

776 


z 9780080880242

856 
4 
0 
u https://www.sciencedirect.com/science/bookseries/0049237X/92
x Verlag
3 Volltext

082 
0 

a 511/.8

520 


a 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 mM. This theorem is also the subject of Chapter XIII.
