Search
Now showing items 1-1 of 1
Logical background of forcing
Logické základy forcingu
diploma thesis (DEFENDED)
Advisor: Honzík, Radek
Date Issued: 2013
Date of defense: 19. 09. 2013
Faculty / Institute: Filozofická fakulta / Faculty of Arts
Abstract: 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) ...