Hierarchies Ontological and Ideological

Oystein Linnebo, Agustin Rayo

Research output: Contribution to journalArticlepeer-review

55 Citations (Scopus)


Gödel claimed that Zermelo-Fraenkel set theory is ‘what becomes of the theory of types if certain superfluous restrictions are removed’. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.
Original languageEnglish
Pages (from-to)269-308
Number of pages40
Issue number482
Publication statusPublished - Apr 2012


Dive into the research topics of 'Hierarchies Ontological and Ideological'. Together they form a unique fingerprint.

Cite this