Model Theory
Daniel Naylor

Contents
0Review of First Order Logic
0.1Languages
0.2Structures
0.3Formulas / sentences
1Complete Theories
2Homomorphisms
3Categoricity
4Filters
5Ultraproducts
6Ultraproduct Structures
7Łoś’s Theorem and Consequences
8More Constructions
9Algebraically closed fields
10Diagrams
11Introduction to Quantifier Elimination
12Examples
13Introduction to Types
14Type Spaces
15Saturated Models
16Omitting Types
17Whistle Stop Tour of Stability Theory
Index