• Cohen forcing and its properties 

      Bydžovský, Jan (Univerzita Karlova, Filozofická fakulta, 2015)
      Date of defense: 25. 6. 2015
      Bakalář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 

      Blicha, Martin (Univerzita Karlova, Filozofická fakulta, 2014)
      Date of defense: 6. 2. 2014
      This 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 

      Stejskalová, Šárka (Univerzita Karlova, Filozofická fakulta, 2012)
      Date of defense: 20. 9. 2012
      Bakalář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 

      Lávička, Tomáš (Univerzita Karlova, Filozofická fakulta, 2013)
      Date of defense: 27. 6. 2013
      Tato 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 

      Ketner, Michal (Univerzita Karlova, Filozofická fakulta, 2016)
      Date of defense: 14. 9. 2016
      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 ...
    • Logical background of forcing 

      Glivická, Jana (Univerzita Karlova, Filozofická fakulta, 2013)
      Date of defense: 19. 9. 2013
      V 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 

      Přikrylová, Katrin (Univerzita Karlova, Filozofická fakulta, 2013)
      Date of defense: 27. 6. 2013
    • Reflection principles and large cardinals 

      Mrva, Mikuláš (Univerzita Karlova, Filozofická fakulta, 2016)
      Date of defense: 14. 9. 2016
      Prá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 

      Mrva, Mikuláš (Univerzita Karlova, Filozofická fakulta, 2016)
      Date of defense: 20. 6. 2016
      Prá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 

      Liepoldová, Tereza (Univerzita Karlova, Filozofická fakulta, 2012)
      Date of defense: 20. 9. 2012
      Prá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 

      Stejskalová, Šárka (Univerzita Karlova, Filozofická fakulta, 2017)
      Date of defense: 2. 12. 2017
      Funkce kontinua je funkce, která libovolnému nekonečnému kardinálu κ přiřadí hodnotu 2κ. Řekneme, že regulární nespočetný kardinál κ má stromovou vlastnost, jestliže každý κ-strom má kofinální větev, ekvivalentně, že ...
    • Tree property at more cardinals 

      Stejskalová, Šárka (Univerzita Karlova, Filozofická fakulta, 2014)
      Date of defense: 17. 9. 2014
      V 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 

      Holík, Lukáš (Univerzita Karlova, Filozofická fakulta, 2011)
      Date of defense: 22. 9. 2011
      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í ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: admin-repozitar [at] cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV