PředmětyPředměty(verze: 806)
Předmět, akademický rok 2017/2018
   Přihlásit přes CAS
Teorie modelů - ALG500009
Anglický název: Model Theory
Zajišťuje: Katedra logiky (21-KLOG)
Fakulta: Filozofická fakulta
Platnost: od 2016
Semestr: zimní
Body: 0
E-Kredity: 5
Způsob provedení zkoušky: zimní s.:
Rozsah, examinace: zimní s.:2/0 Zk [hodiny/týden]
Počet míst: neomezen / neurčen (neurčen)
Minimální obsazenost: neomezen
Stav předmětu: vyučován
Jazyk výuky: angličtina
Způsob výuky: prezenční
Úroveň:  
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.
Vyučující: Mgr. Jonathan Verner, Ph.D.
Rozvrh   Nástěnka   
Anotace -
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.
 
Univerzita Karlova | Informační systém UK