Poslední úprava: Mgr. Jonathan Verner, Ph.D. (18.08.2014)
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: Mgr. Jonathan Verner, Ph.D. (25.10.2019)
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.
Podmínky zakončení předmětu - angličtina
Poslední úprava: Mgr. Jonathan Verner, Ph.D. (25.10.2019)
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).
Literatura - angličtina
Poslední úprava: Mgr. Jonathan Verner, Ph.D. (25.10.2019)
W. Hodges, A Shorter Model Theory, CUP 2003
C. C. Chang and H. J. Keisler, Model Theory, North-Holland 1973
A. Marcja, C. Toffalori, A Guide to Classical and Modern Model Theory, Kluwer 2003
Sylabus - angličtina
Poslední úprava: Mgr. Jonathan Verner, Ph.D. (25.10.2019)