Konstruktivní univerzum L

Ketner, Michal

The constructive universe L

dc.contributor.advisor	Honzík, Radek
dc.creator	Ketner, Michal
dc.date.accessioned	2017-10-12T19:45:25Z
dc.date.available	2017-10-12T19:45:25Z
dc.date.issued	2016
dc.identifier.uri	http://hdl.handle.net/20.500.11956/76771
dc.description.abstract	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)	en_US
dc.description.abstract	Tato 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)	cs_CZ
dc.language	Čeština	cs_CZ
dc.language.iso	cs_CZ
dc.publisher	Univerzita Karlova, Filozofická fakulta	cs_CZ
dc.subject	constructive universe	en_US
dc.subject	inner models	en_US
dc.subject	Konstruktivní univerzum L	cs_CZ
dc.subject	vnitřní modely	cs_CZ
dc.title	Konstruktivní univerzum L	cs_CZ
dc.type	bakalářská práce	cs_CZ
dcterms.created	2016
dcterms.dateAccepted	2016-09-14
dc.description.department	Katedra logiky	cs_CZ
dc.description.department	Department of Logic	en_US
dc.description.faculty	Filozofická fakulta	cs_CZ
dc.description.faculty	Faculty of Arts	en_US
dc.identifier.repId	138477
dc.title.translated	The constructive universe L	en_US
dc.contributor.referee	Přenosil, Adam
dc.identifier.aleph	002107223
thesis.degree.name	Bc.
thesis.degree.level	bakalářské	cs_CZ
thesis.degree.discipline	Logic	en_US
thesis.degree.discipline	Logika	cs_CZ
thesis.degree.program	Logika	cs_CZ
thesis.degree.program	Logic	en_US
uk.thesis.type	bakalářská práce	cs_CZ
uk.taxonomy.organization-cs	Filozofická fakulta::Katedra logiky	cs_CZ
uk.taxonomy.organization-en	Faculty of Arts::Department of Logic	en_US
uk.faculty-name.cs	Filozofická fakulta	cs_CZ
uk.faculty-name.en	Faculty of Arts	en_US
uk.faculty-abbr.cs	FF	cs_CZ
uk.degree-discipline.cs	Logika	cs_CZ
uk.degree-discipline.en	Logic	en_US
uk.degree-program.cs	Logika	cs_CZ
uk.degree-program.en	Logic	en_US
thesis.grade.cs	Neprospěl	cs_CZ
thesis.grade.en	Fail	en_US
uk.abstract.cs	Tato 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)	cs_CZ
uk.abstract.en	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)	en_US
uk.file-availability	V
uk.publication.place	Praha	cs_CZ
uk.grantor	Univerzita Karlova, Filozofická fakulta, Katedra logiky	cs_CZ
dc.identifier.lisID	990021072230106986