Hledat
Zobrazují se záznamy 1-2 z 2
Skolemův paradox v teorii množin
Skolem paradox in set theory
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2012
Datum obhajoby: 20. 09. 2012
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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 ...
This works aims to map the development of the Löwenheim-Skolems the- orem from Ernst Schröder to Thoralf Skolem using original mathematical notation. It describes its consequence in the form of the Skolem paradox and its ...
This works aims to map the development of the Löwenheim-Skolems the- orem from Ernst Schröder to Thoralf Skolem using original mathematical notation. It describes its consequence in the form of the Skolem paradox and its ...
Logical background of forcing
Logické základy forcingu
Diplomová práce (OBHÁJENO)
Vedoucí práce: Honzík, Radek
Datum publikování: 2013
Datum obhajoby: 19. 09. 2013
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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ě ...
This thesis examines the method of forcing in set theory and focuses on aspects that are set aside in the usual presentations or applications of forcing. It is shown that forcing can be formalized in Peano arithmetic (PA) ...
This thesis examines the method of forcing in set theory and focuses on aspects that are set aside in the usual presentations or applications of forcing. It is shown that forcing can be formalized in Peano arithmetic (PA) ...