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