Teorie modelů - ALG500009

• Anglický název: Model Theory
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2020
• Semestr: zimní
• Body: 0
• E-Kredity: 5
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:2/0, Zk [HT]
• Počet míst: neurčen / neurčen (neurčen)
• Minimální obsazenost: neomezen
• Virtuální mobilita / počet míst: ne
• Stav předmětu: nevyučován
• Jazyk výuky: angličtina
• Způsob výuky: prezenční
• Další informace: http://jonathanverner.appspot.com/ALG500009
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu
• Garant: Mgr. Jonathan Verner, Ph.D.

Anotace

čeština

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.

angličtina

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

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

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

Poslední úprava: Mgr. Jonathan Verner, Ph.D. (25.10.2019)

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)