1300 187 187
Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. Extensively updated and corrected in 1990 to accommodate the most recent developments in model theoretic methods, including classification theory and nonstandard analysis, this third edition of the bestselling classic added entirely new sections, exercises, and references.
| Introduction | p. 1 |
| What is model theory? | p. 1 |
| Model theory for sentential logic | p. 4 |
| Languages, models and satisfaction | p. 18 |
| Theories and examples of theories | p. 36 |
| Elimination of quantifiers | p. 49 |
| Models constructed from constants | p. 61 |
| Completeness and compactness | p. 61 |
| Refinements of the method. Omitting types and interpolation theorems | p. 77 |
| Countable models of complete theories | p. 96 |
| Recursively saturated models | p. 109 |
| Lindstrom's characterization of first order logic | p. 127 |
| Further model-theoretic constructions | p. 136 |
| Elementary extensions and elementary chains | p. 136 |
| Applications of elementary chains | p. 147 |
| Skolem functions and indiscernibles | p. 163 |
| Some examples | p. 178 |
| Model completeness | p. 186 |
| Ultraproducts | p. 211 |
| The fundamental theorem | p. 211 |
| Measurable cardinals | p. 227 |
| Regular ultrapowers | p. 248 |
| Nonstandard universes | p. 262 |
| Saturated and special models | p. 292 |
| Saturated and special models | p. 292 |
| Preservation theorems | p. 306 |
| Applications of special models to the theory of definability | p. 323 |
| Applications to field theory | p. 342 |
| Application to Boolean algebras | p. 372 |
| More about ultraproducts and generalizations | p. 384 |
| Ultraproducts which are saturated | p. 384 |
| Direct products, reduced products, and Horn sentences | p. 405 |
| Direct products, reduced products, and Horn sentences (continued) | p. 420 |
| Limit ultrapowers and complete extensions | p. 447 |
| Iterated ultrapowers | p. 453 |
| Selected topics | p. 482 |
| Categoricity in power | p. 482 |
| An extension of Ramsey's theorem and applications; some two-cardinal theorems | p. 509 |
| Models of large cardinality | p. 534 |
| Large cardinals and the constructible universe | p. 558 |
| Set theory | p. 579 |
| Open problems in classical model theory | p. 597 |
| Historical notes | p. 603 |
| References | p. 623 |
| Additional references | p. 634 |
| Index of definitions | p. 641 |
| Index of symbols | p. 649 |
| Table of Contents provided by Ingram. All Rights Reserved. |
ISBN: 9780486488219
ISBN-10: 0486488217
Series: Dover Books on Mathematics
Audience:
Tertiary; University or College
Format:
Paperback
Language:
English
Number Of Pages: 672
Published: 13th June 2012
Publisher: DOVER PUBN INC
Dimensions (cm): 23.114 x 15.494
x 3.556
Weight (kg): 0.862
9am - 4pm AEST, Monday - Friday
