Konstruktivní univerzum L
The constructive universe L
bakalářská práce (NEOBHÁJENO)
![Náhled dokumentu](/bitstream/handle/20.500.11956/76771/thumbnail.png?sequence=7&isAllowed=y)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/76771Identifikátory
SIS: 138477
Kolekce
- Kvalifikační práce [22964]
Autor
Vedoucí práce
Oponent práce
Přenosil, Adam
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
14. 9. 2016
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Čeština
Známka
Neprospěl
Klíčová slova (česky)
Konstruktivní univerzum L, vnitřní modelyKlíčová slova (anglicky)
constructive universe, inner modelsTato práce zkoumá univerzum konstruktivních množin L, jak ho definoval Godel. Práce srovnává dva způsoby konstrukce L: jeden přes formalizaci relace splňovaní a druhý pomocí 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. Powered by TCPDF (www.tcpdf.org)
The theme explores the universe of constructive set L as it was defined by Godel. The work compares two methods of construction L set: one through the formalization of satisfaction relationand the other one with several (finitely many) called rudimentary functions that generate L. The work continues with verification of the implications Con(ZF)→Con(ZFC + CH). The goal is to give a comprehensive view of the construction L and verification of 's relative consistency CH. Powered by TCPDF (www.tcpdf.org)