Konstruktivní univerzum L
Název práce v češtině: | Konstruktivní univerzum L |
---|---|
Název v anglickém jazyce: | The constructive universe L |
Klíčová slova: | Konstruktivní univerzum L, vnitřní modely |
Klíčová slova anglicky: | constructive universe, inner models |
Akademický rok vypsání: | 2012/2013 |
Typ práce: | bakalářská práce |
Jazyk práce: | čeština |
Ústav: | Katedra logiky (21-KLOG) |
Vedoucí / školitel: | doc. Mgr. Radek Honzík, Ph.D. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 24.06.2013 |
Datum zadání: | 24.06.2013 |
Schválení administrátorem: | zatím neschvalováno |
Datum potvrzení stud. oddělením: | 01.07.2013 |
Datum a čas obhajoby: | 14.09.2016 09:00 |
Datum odevzdání elektronické podoby: | 11.08.2016 |
Datum proběhlé obhajoby: | 14.09.2016 |
Odevzdaná/finalizovaná: | odevzdaná studentem a finalizovaná |
Oponenti: | Mgr. Adam Přenosil, Ph.D. |
Zásady pro vypracování |
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. |
Seznam odborné literatury |
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. |