Browsing by Advisor "Honzík, Radek"
Now showing items 1-13 of 13
-
Cohen forcing and its properties
Defence status: DEFENDED(Univerzita Karlova, Filozofická fakulta, 2015)Date of defense: 25. 6. 2015Bakalářská práce se zabývá vlastnostmi Cohenova forcingu a jeho vztahu k nedokazatelnosti Hypotézy kontinua a Obecné hypotézy kontinua. Práce je rozdělena na čtyři části. V první části je zavedena technika forcingu pomocí ... -
The continuum function on regular cardinals in the presence of large cardinals
Defence status: DEFENDED(Univerzita Karlova, Filozofická fakulta, 2014)Date of defense: 6. 2. 2014This thesis examines the interactions between the continuum function and large cardinals. It is know, by a result of Easton, that the continuum function on regular cardinals has great freedom in ZFC. However, large cardinals ... -
The continuum function on singular cardinals
Defence status: DEFENDED(Univerzita Karlova, Filozofická fakulta, 2012)Date of defense: 20. 9. 2012Bakalářská práce se zabývá chováním funkce kontinua na singulárních kardinálech v teorii ZFC. Práce je rozdělena na dvě části. První část se soustředí na Silverovu větu a rozebírá dva různé důkazy této věty, původní Silverův ... -
Generalized Boolean models and classical predicate logic
Defence status: DEFENDED(Univerzita Karlova, Filozofická fakulta, 2013)Date of defense: 27. 6. 2013Tato bakalářská práce pojednává o úplných Booleových alge- berách a o jejich užití v semantice prvořádové predikátové logiky. Práce má dva hlavní cíle, v první řadě dokázat, že každá Booleova algebra může být rozšířena na ... -
Konstruktivní univerzum L
Defence status: NOT DEFENDED(Univerzita Karlova, Filozofická fakulta, 2016)Date of defense: 14. 9. 2016The 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 ... -
Logical background of forcing
Defence status: DEFENDED(Univerzita Karlova, Filozofická fakulta, 2013)Date of defense: 19. 9. 2013V předložené práci zkoumáme forcing jako metodu teorie množin a zaměřu- jeme se na okolnosti, které jsou při obvyklých výkladech a aplikacích forcingu ponechávány stranou. Ukážeme, že forcing lze formalizovat v Peanově ... -
Pojem ideálu a filtru v algebře a logice
Defence status: DEFENDED(Univerzita Karlova, Filozofická fakulta, 2013)Date of defense: 27. 6. 2013 -
Reflection principles and large cardinals
Defence status: DEFENDED(Univerzita Karlova, Filozofická fakulta, 2016)Date of defense: 14. 9. 2016Práce zkoumá vztah tzv. principů reflexe a velkých kardinálů. Lévy ukázal, že v ZFC platí tzv. věta o reflexi a dokonce, že věta o reflexi je ekviva- lentní schématu nahrazení a axiomu nekonečna nad teorií ZFC bez axiomu ... -
Reflection principles and large cardinals
Defence status: NOT DEFENDED(Univerzita Karlova, Filozofická fakulta, 2016)Date of defense: 20. 6. 2016Práce zkoumá vztah tzv. principů reflexe a velkých kardinálů. Lévy ukázal, že v ZFC platí tzv. věta o reflexi a dokonce, že věta o reflexi je ekviva- lentní schématu nahrazení a axiomu nekonečna nad teorií ZFC bez axiomu ... -
Skolemův paradox v teorii množin
Defence status: DEFENDED(Univerzita Karlova, Filozofická fakulta, 2012)Date of defense: 20. 9. 2012Práce se snaží zmapovat historický vývoj Löwenheim-Skolemovy věty od Ernsta Schrödera po Thoralfa Skolema s užitím původní matematické notace. Popisuje důsledek v podobě Skolemova paradoxu a jeho vliv na teorii množin a s ... -
The tree property and the continuum function
Defence status: DEFENDED(Univerzita Karlova, Filozofická fakulta, 2017)Date of defense: 2. 12. 2017The continuum function is a function which maps every infinite cardinal κ to 2κ. We say that a regular uncountable cardinal κ has the tree property if every κ-tree has a cofinal branch, or equivalently if there are no ... -
Tree property at more cardinals
Defence status: DEFENDED(Univerzita Karlova, Filozofická fakulta, 2014)Date of defense: 17. 9. 2014V této práci se zabýváme Aronszajnovými a specialními Aronszajnovými stromy, je- jich existencí a neexistencí. Zavádíme dnes nejběžněji užívanou definici speciálního Aronszajnova stromu a několik zobecnění této definice a ... -
Ultrapower construction in set theory
Defence status: DEFENDED(Univerzita Karlova, Filozofická fakulta, 2011)Date of defense: 22. 9. 2011Př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í ...