dc.contributor.advisor | Honzík, Radek | |
dc.creator | Holík, Lukáš | |
dc.date.accessioned | 2017-05-08T19:41:39Z | |
dc.date.available | 2017-05-08T19:41:39Z | |
dc.date.issued | 2011 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/50987 | |
dc.description.abstract | Předložená práce obsahuje historii vzniku míry, její souvislost s měřitelnými kardinály a shrnutí všech základních definic a pojmů potřebných k zobecnění ultramocninové konstrukce v teorii modelů pro vlastní třídy. Součástí uvedené teorie je i důkaz základních vlastností potřebných pro aplikaci ultramocninové konstrukce na měřitelné kardinály. Využitím všech předchozích výsledků poté dokážeme Teorém Dany Scotta o souvislosti mezi existencí měřitelného kardinálu a velikostí univerza. | cs_CZ |
dc.description.abstract | The presented work contains the history of origin of measure, its connection with measurable cardinals and summary of all elementary definitions and no- tions needed for the generalization of ultrapower construction in model theory for proper classes. One of the parts of the presented theory is the proof of el- ementary properties needed for the application of ultrapower construction to measurable cardinals. Using all previous results we prove the Theorem of Dana Scott about the connection between existence of a measurable cardinal and the size of the universe. | en_US |
dc.language | English | cs_CZ |
dc.language.iso | en_US | |
dc.publisher | Univerzita Karlova, Filozofická fakulta | cs_CZ |
dc.subject | kappa-aditivita | cs_CZ |
dc.subject | kappa-kompletnost | cs_CZ |
dc.subject | nedosažitelný kardinál | cs_CZ |
dc.subject | měřitelný kardinál | cs_CZ |
dc.subject | vnitřní model | cs_CZ |
dc.subject | ultramocnina | cs_CZ |
dc.subject | elementární vnoření | cs_CZ |
dc.subject | relativizace | cs_CZ |
dc.subject | kappa-additivity | en_US |
dc.subject | kappa-completeness | en_US |
dc.subject | inaccessible cardinal | en_US |
dc.subject | measurable cardinal | en_US |
dc.subject | inner model | en_US |
dc.subject | ultrapower | en_US |
dc.subject | elementary embedding | en_US |
dc.subject | relativization | en_US |
dc.title | Ultrapower construction in set theory | en_US |
dc.type | bakalářská práce | cs_CZ |
dcterms.created | 2011 | |
dcterms.dateAccepted | 2011-09-22 | |
dc.description.department | Department of Logic | en_US |
dc.description.department | Katedra logiky | cs_CZ |
dc.description.faculty | Faculty of Arts | en_US |
dc.description.faculty | Filozofická fakulta | cs_CZ |
dc.identifier.repId | 109810 | |
dc.title.translated | Ultramocninová konstrukce v teorii množin | cs_CZ |
dc.contributor.referee | Verner, Jonathan | |
dc.identifier.aleph | 001388820 | |
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 | Logic | en_US |
thesis.degree.program | Logika | cs_CZ |
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 | Velmi dobře | cs_CZ |
thesis.grade.en | Very good | en_US |
uk.abstract.cs | Předložená práce obsahuje historii vzniku míry, její souvislost s měřitelnými kardinály a shrnutí všech základních definic a pojmů potřebných k zobecnění ultramocninové konstrukce v teorii modelů pro vlastní třídy. Součástí uvedené teorie je i důkaz základních vlastností potřebných pro aplikaci ultramocninové konstrukce na měřitelné kardinály. Využitím všech předchozích výsledků poté dokážeme Teorém Dany Scotta o souvislosti mezi existencí měřitelného kardinálu a velikostí univerza. | cs_CZ |
uk.abstract.en | The presented work contains the history of origin of measure, its connection with measurable cardinals and summary of all elementary definitions and no- tions needed for the generalization of ultrapower construction in model theory for proper classes. One of the parts of the presented theory is the proof of el- ementary properties needed for the application of ultrapower construction to measurable cardinals. Using all previous results we prove the Theorem of Dana Scott about the connection between existence of a measurable cardinal and the size of the universe. | en_US |
uk.publication.place | Praha | cs_CZ |
uk.grantor | Univerzita Karlova, Filozofická fakulta, Katedra logiky | cs_CZ |
dc.identifier.lisID | 990013888200106986 | |