Graduate studies at Western
|Abstract||In fact, Godel gave an important model of pure predication, where he showed that restricted comprehension without parameters is valid, but where restricted comprehension with parameters is not (although this invalidity was not established until Cohen). This is the model based on ordinal definability in set theory.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
M. Randall Holmes (2005). The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory. Studia Logica 79 (3):357 - 372.
Gabriel Uzquiano (2002). Categoricity Theorems and Conceptions of Set. Journal of Philosophical Logic 31 (2):181-196.
Andrzej Kisielewicz (1998). A Very Strong Set Theory? Studia Logica 61 (2):171-178.
Harvey Friedman, A Complete Theory of Everything: Satisfiability in the Universal Domain Harvey M. Friedman October 10, 1999 Friedman@Math.Ohio-State.Edu. [REVIEW]
Mireille Staschok (2008). Non-Traditional Squares of Predication and Quantification. Logica Universalis 2 (1):77-85.
Added to index2009-01-28
Total downloads3 ( #213,434 of 722,946 )
Recent downloads (6 months)1 ( #61,087 of 722,946 )
How can I increase my downloads?