PředmětyPředměty(verze: 797)
Předmět, akademický rok 2016/2017
   Přihlásit přes CAS
Modely teorie množin - ALG500006
Anglický název: Models of Set Theory
Zajišťuje: Katedra logiky (21-KLOG)
Fakulta: Filozofická fakulta
Platnost: od 2016
Semestr: letní
Body: 0
E-Kredity: 5
Způsob provedení zkoušky: letní s.:
Rozsah, examinace: letní s.:2/0 Zk [hodiny/týden]
Počet míst: neurčen / neurčen (neurčen)
Minimální obsazenost: neomezen
Stav předmětu: nevyučován
Jazyk výuky: čeština
Způsob výuky: prezenční
Úroveň:  
Garant: Mgr. Radek Honzík, Ph.D.
Rozvrh   Nástěnka   
Anotace -
Poslední úprava: Mgr. Radek Honzík, Ph.D. (21.02.2010)

Tridove modely - fundovane univerzum, konstruktivni univerzum L (relativni konzistence Axiomu fundovanosti, Axiomu vyberu, Hypotezy kontinua). Prirozene mnozinove modely fragmentu ZFC: V-hierarchie, H-hierarchie a elementarni podstruktury. Meritelny kardinal a jeho nekonzistence s V=L. Duraz bude polozen na techniku vnitrnich modelu, zminen bude rovnez forcing.
 
Univerzita Karlova | Informační systém UK