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 a čas obhajoby: 19.09.2017 09:00
• Datum odevzdání elektronické podoby: 17.08.2017
• Odevzdaná/finalizovaná: odevzdaná studentem
• Oponenti: Mgr. Jonathan Verner, 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.