by Gerald E Sacks (Harvard University, USA)

Table of Contents (31k)
Section 0: Introduction (45k)

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 ϖ₁-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