Model Theory

C.C. Chang, H.J. Keisler

• Publisher: North Holland
• Year: 1990
• Print ISBN: 9780444880543
• eBook ISBN: 9780080880075
• Edition: 3
• Topic: Computer Science
• Subtopic: Computer Science General
• Index: Computer Science

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

• Cover image
• Title page
• Table of Contents
• Studies in Logic and the Foundations of Mathematics
• Copyright page
• Preface
• Preface to the Second Edition
• Preface to the Third Edition
• How to use this Book as a Text
• A Mapping From the Second to the Third Edition
• Chapter 1: Introduction
• Chapter 2: Models Constructed From Constants
• Chapter 3: Further Model-Theoretic Constructions
• Chapter 4: Ultraproducts
• Chapter 5: Saturated and Special Models
• Chapter 6: More About Ultraproducts and Generalizations
• Chapter 7: Selected Topics
• Appendix A: Set Theory
• Appendix B: Open Problems in Classical Model Theory
• Historical Notes
• References
• Additional References
• Index of Definitions
• Index of Symbols