Sylabus
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)
Anotace
Cílem přednášky je na důkazu Morleyovy věty o kategoricitě ukázat různé metody pokročilé teorie modelů.
Probíraná témata zahrnují: definovatelné množiny a typy, saturované modely, prvomodely, Morleyův rank, stabilita, kategoričnost struktur.