SATURATED MODEL THEORY (SECOND EDITION)

This book contains the material for a first course in pure model theory with applications to differentially closed fields. Topics covered in this book include saturated model criteria for model completeness and elimination of quantifiers; Morley rank and degree of element types; categoricity in power; two-cardinal theorems; existence and uniqueness of prime model extensions of substructures of models of totally transcendental theories; and homogeneity of models of ?1-categorical theories.

Ordinals and Diagrams; Similarity Types of Structures; Elementary Equivalence; Model Completeness; Skolemization of Structures; Saturated Structures; Omitting a Type; Homogeneous Structures; Inverse Systems of Compact Hausdorff Spaces; The Morley Derivative; Prime Model Extensions; Order Indiscernibles; The Baldwin-Lachlan Theorem; and other sections.