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
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: 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

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)

angličtina

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.

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

Podmínky zakončení předmětu

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)

Literatura

• 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

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

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)

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