hidden - assigned and confirmed by the Study Dept.
Date of registration:
24.06.2013
Date of assignment:
24.06.2013
Administrator's approval:
not processed yet
Date and time of defence:
19.09.2017 09:00
Date of electronic submission:
17.08.2017
Submitted/finalized:
committed by student
Opponents:
Mgr. Jonathan Verner, Ph.D.
Guidelines
Téma zkoumá univerzum konstruktivních množin L, jak ho definoval Gödel. Práce srovná dva způsoby konstrukce L: jeden přes formalizaci relace splňování, a druhý pomocí několika (konečně mnoha) tzv. rudimentárních funkcí, které L generují. Práce dále povede k ověření implikace Con(ZF) --> Con(ZFC + CH). Práce má podat ucelený pohled na konstrukci L a ověření relativní konzistence CH a má by být přístupná pro studenty se základními znalostmi z teorie množin.
References
K.Kunen, Set theory: An introduction to independence proofs, North Holland, Elsevier, 1980. T. Jech, Set theory, Springer, 2003. B. Balcar a P. Štěpánek, Teorie množin, Academia, 2000.