Konstruktivní univerzum L
The constructive universe L
bachelor thesis (NOT DEFENDED)
![Document thumbnail](/bitstream/handle/20.500.11956/76771/thumbnail.png?sequence=7&isAllowed=y)
View/ Open
Permanent link
http://hdl.handle.net/20.500.11956/76771Identifiers
Study Information System: 138477
Collections
- Kvalifikační práce [23200]
Author
Advisor
Referee
Přenosil, Adam
Faculty / Institute
Faculty of Arts
Discipline
Logic
Department
Department of Logic
Date of defense
14. 9. 2016
Publisher
Univerzita Karlova, Filozofická fakultaLanguage
Czech
Grade
Fail
Keywords (Czech)
Konstruktivní univerzum L, vnitřní modelyKeywords (English)
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)