Model theory /
Saved in:
| 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: | xvi, 650 p. ; 23 cm. |
| Language: | English |
| Series: | 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/1099932 |
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
