Model theory /

Model theory /

Saved in:
Bibliographic Details
Author / Creator:Chang, Chen Chung, 1927-
Edition:3rd ed.
Imprint:Amsterdam ; New York : North-Holland ; New York, NY, USA : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990.
Description:1 online resource (xvi, 650 pages).
Language:English
Series:Studies in logic and the foundations of mathematics ; v. 73
Studies in logic and the foundations of mathematics ; v. 73.
Subject:
Model theory.
Model theory.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/12389158
Hidden Bibliographic Details
Other authors / contributors:Keisler, H. Jerome.
ISBN:9780444880543
0444880542
9781435687004
1435687000
Notes:Includes bibliographical references (pages 623-640).
Print version record.
Summary: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.
Other form:Print version: Chang, Chen Chung, 1927- Model theory. 3rd ed. Amsterdam ; New York : North-Holland ; New York, NY, USA : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990 0444880542 9780444880543
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
  • Lindstrwm'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

Similar Items