Model theory /
Saved in:
| Author / Creator: | Chang, Chen Chung, 1927- |
|---|---|
| Edition: | 2d ed. |
| Imprint: | Amsterdam ; New York : North-Holland Pub. Co. ; New York : Distributed by Elsevier North-Holland, 1977. |
| Description: | xii, 554 p. ; 23 cm. |
| Language: | English |
| Series: | Studies in logic and the foundations of mathematics ; v. 73 Studies in logic and the foundations of mathematics ; v. 73. |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/206190 |
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