Název: Ultramocninová konstrukce v teorii množin
Překlad názvu: Ultrapower construction in set theory
Autoři: Holík, Lukáš ; Honzík, Radek (vedoucí práce) ; Verner, Jonathan (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2011
Jazyk: eng
Abstrakt: [eng] [cze]
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. 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.
Klíčová slova: elementární vnoření; kappa-aditivita; kappa-kompletnost; měřitelný kardinál; nedosažitelný kardinál; relativizace; ultramocnina; vnitřní model; elementary embedding; inaccessible cardinal; inner model; kappa-additivity; kappa-completeness; measurable cardinal; relativization; ultrapower

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/50987

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-315276


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce