Syllabus
The course covers the following topics
Preliminaries
Definable sets and types
Atomic models
Saturated models
Independence
Morley rank
Stability
Morley's theorem (an overview of the proof)
Annotation
The goal of the lecture is to use the proof of Morley's categoricity theorem to show various techniques in modern model theory. The topics covered will include definable sets, saturated models, prime models, Morley's rank, stability, categoricity and others.