Classification theory and the number of non-isomorphic models
Author(s)
Bibliographic Information
Classification theory and the number of non-isomorphic models
(Studies in logic and the foundations of mathematics, v. 92)
North-Holland , Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990
Rev. ed
Available at 41 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
SHE||11||1(2)90109760
Note
Includes bibliographical references (p. 684-690) and indexes
Description and Table of Contents
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
Table of Contents
Preliminaries. Ranks and Incomplete Types. Global Theory. Prime Models. More on Types and Saturated Models. Saturation of Ultraproducts. Construction of Models. The Number of Non-Isomorphic Models in Pseudo-Elementary Classes. Categoricity and the Number of Models in Elementary Classes. Classification for FaNo-Saturated Models. The Decomposition Theorem. The Main Gap For Countable Theories. For Thomas the Doubter. Appendix: Filters, Stationary Sets and Families of Sets. Partition Theorems. Various Results. Historical Remarks. References.
by "Nielsen BookData"