Introduction
1 Structurese and Theories
1.1 Languages and Structures
1.2 Theories
1.3 Defiable Sets and Interpretability
1.4 Exercises and Remarks
2 Basic Techniqus
2.1 The Compactness Theoem
2.2 Complete Theories
2.3 Up and Down
2.4 Back and Forth
2.5 Exercises and Remarks
3 Algebraic Examples
3.1 Quantifier Elimintion
3.2 Algebraiclly Closed Fields
3.3 Real Closed Fields
3.4 Exercises and Remarks
4 Realizing and Omitting Types
4.1 Types
4.2 Omitting Types and Prime Models
4.3 Saturated and Hmogeneous Models
4.4 The Number of Countable Models
4 5 Exercises and Remarks
5 Indiscernibles
5.1 Partition Theorems
5.2 Order Indiscernibles
5.3 A Many-Models Theorem
5.4 An Independence Result in Arithmetic
5.5 Exercises and Remarks
6 ω-Stable Theories
7 ω-Stable Groups
8 Geometry of Strongly Minimal Sets
A Set Theory
B Real Algebra
References
Index