Model Theory - 3rd Edition - ISBN: 9780444880543, 9780080880075

Model Theory, Volume 73

3rd Edition

Authors: C.C. Chang H.J. Keisler
eBook ISBN: 9780080880075
Imprint: North Holland
Published Date: 12th June 1990
Page Count: 649
Tax/VAT will be calculated at check-out Price includes VAT (GST)
20% off
20% off
20% off
Price includes VAT (GST)

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

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. Lindström'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.


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.


No. of pages:
© North Holland 1990
North Holland
eBook ISBN:


@from:J. Woleński @qu:If someone will ask you about the most successful textbook in logical (classical) model theory, your answer may be only one: that is C.C. Chang and H.J. Keisler, Model Theory. This book was published for the first time in 1973. Second revised and enlarged edition appeared in 1977. Now we welcome the third edition of this classic book in classical model theory... The novelties of the third edition are these: a section on recursively saturated models, a section on Lindström's characterization of first order logic, a more extensive treatment of model-completeness and a section on nonstandard universes. @source:Studia Logica

About the Authors

C.C. Chang Author

H.J. Keisler Author