Anotace
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.