Doporučení: Základní kurz teorie množin.
Ordinální a kardinální aritmetika. Fundované jádro WF teorie množin, nedokazatelnost existence nedosažitelného kardinálu. Fundovaná rekurze, extenzionální a fundované relace, vety o kolapsu. Tranzitivní (vnitrní) modely, absolutnost, Lévyho princip reflexe. Univerzum L konstruovatelných množin. Platnost silného axiomu výběru a zobecněné hypotézy kontinua v L. Ultramocnina univerzální trídy (jako interpretace teorie ZFC v ZFC). Ultramocnina univerzální třídy podle míry (tj. podle měřitelného kardinálu). Elementární vnoření do tranzitivní třídy. Neexistence míry v L. Normální míra. Další vlastnosti ultramocniny. Booleovské modely: booleovské univerzum a rozšíření M[G], booleovské hodnoty formulí, generické rozšíření, věta o forcingu a generickém rozšíření. Věty o podmnožinách, kardinálech a kofinalitách v generickém rozšíření. Cantorovy algebry, bezespornost ZFC + negace hypotézy kontinua. Bezespornost ZFC + #konstruovatelné omega 1 je spočetné\". Elementární vnoření a reflexe v teorii ZFS* = ZFC - axiom regularity + axiom silného výběru + axiom superuniverzality. Nestandardní pojmy a principy. Aplikace: nestandardní analýza, topologie, teorie míry. Princip kompaktnosti, ramseyovská kombinatorika. Bezespornost teorie ZFS* a její další vlastnosti.
Poslední úprava: T_KTI (19.05.2004)
Ordinal and cardinal arithmetic. The axiom of regularity. The cummulative hierarchy of sets.
Well-founded relations and induction. Collapsing theorems. Transitive models. Constructible sets.
Consistence of the axiom of choice and the generalization continuum hypothesis.
Ultrapowers and elementary embeddings. Measurable and inaccessible cardinals.
Bulean-valued models, generic extensions. Independence of the continuum hypothesis.
Non-regular set theory with strong choice and with the axiom of superuniversality. Nonstandard methods.
Applications.