Model theory
Author(s)
Bibliographic Information
Model theory
(Studies in logic and the foundations of mathematics, v. 73)
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Publishing Company, Inc., 1990
3rd ed
Available at 78 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
Note
Rev. ed. of: Model theory / C.C. Chang and H.J. Keisler. 2nd ed. 1977
Includes bibliographical references (p. 623-640) and indexes of definitions and symbols
Copyright Elsevier Science Publishers B.V., 1990
Description and Table of Contents
Description
Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory.This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.
Table of Contents
- Introduction. What is Model Theory? Model Theory for Sentential Logic. Languages, Models and Satisfaction. Theories and Examples of Theories. Elimination of Quantifiers. Models Constructed from Constants. Completeness and Compactness. Refinements of the Method. Omitting Types and Interpolation Theorems. Countable Models of Complete Theories. Recursively Saturated Models. Lindstroem's Characterization of First Order Logic. Further Model-Theoretic Constructions. Elementary Extensions and Elementary Chains. Applications of Elementary Chains. Skolem Functions and Indiscernibles. Some Examples. Model Completeness. Ultraproducts. The Fundamental Theorem. Measurable Cardinals. Regular Ultrapowers. Nonstandard Universes. Saturated and Special Models. Saturated and Special Models. Preservation Theorems. Applications of Special Models to the Theory of Definability. Applications to Field Theory. Application to Boolean Algebras. More About Ultraproducts and Generalizations. Ultraproducts Which are Saturated. Direct Products, Reduced Products, and Horn Sentences. Limit Ultrapowers and Complete Extensions. Iterated Ultrapowers. Selected Topics. Categoricity in Power. An Extension of Ramsey's Theorem and Applications
- Some Two-Cardinal Theorems. Models of Large Cardinality. Large Cardinals and the Constructible Universe. Appendices: Set Theory. Open Problems in Classical Model Theory. Historical Notes. References. Additional References.
by "Nielsen BookData"