Teorie modelů - ALG500009
|
|
Rozvrh Nástěnka
|
||
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. Poslední úprava: Verner Jonathan, Mgr., Ph.D. (18.08.2014)
|
|
||
For the exam the students are required to know and understand the definitions and proofs (except for those marked 'without proof' in the expanded syllabus). Poslední úprava: Verner Jonathan, Mgr., Ph.D. (25.10.2019)
|
|
||
Poslední úprava: Verner Jonathan, Mgr., Ph.D. (25.10.2019)
|
|
||
The course covers the following topics
Poslední úprava: Verner Jonathan, Mgr., Ph.D. (25.10.2019)
|