The interpretation of set theory in pure predication theory

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Analytics

Added to PP
2009-01-28

Downloads
78 (#193,729)

6 months
2 (#658,848)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references