Classification Theory :and the Number of Non-Isomorphic Models ( 2 )

Publication subTitle :and the Number of Non-Isomorphic Models

Publication series :2

Author: Shelah   S.  

Publisher: Elsevier Science‎

Publication year: 1990

E-ISBN: 9780080880242

P-ISBN(Paperback): 9780444702609

P-ISBN(Hardback):  9780444702609

Subject: O141.4 model theory

Language: ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

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.

Chapter

Front Cover

pp.:  1 – 4

Copyright Page

pp.:  5 – 6

Contents

pp.:  6 – 10

Acknowledgements

pp.:  10 – 12

Introduction

pp.:  12 – 16

Open problems

pp.:  18 – 24

Added in proof

pp.:  24 – 32

Notation

pp.:  32 – 36

Chapter I. Preliminaries

pp.:  36 – 53

Chapter II. Ranks and Incomplete Types

pp.:  53 – 117

Chapter III. Global Theory

pp.:  117 – 185

Chapter IV. Prime Models

pp.:  185 – 258

Chapter V. More on Types and Saturated Models

pp.:  258 – 356

Chapter VI. Saturation of Ultraproducts

pp.:  356 – 432

Chapter VII. Construction of Models

pp.:  432 – 475

Chapter VIII. The Number of Non-Isomorphic Models in Pseudo-Elementary

pp.:  475 – 514

Chapter IX. Categoricity and the Number of Models in Elementary Classes

pp.:  514 – 543

Chapter X. Classification for Faxo-Saturated Models

pp.:  543 – 592

Chapter XI. The Decomposition Theorem

pp.:  592 – 625

Chapter XII. The Main Gap for Countable Theories

pp.:  625 – 657

Chapter XIII. For Thomas the Doubter

pp.:  657 – 688

Appendix

pp.:  688 – 708

Historical remarks

pp.:  708 – 719

References

pp.:  719 – 726

Index of definitions and abbreviations

pp.:  726 – 738

Index of symbols

pp.:  738 – 742

The users who browse this book also browse