Gödel's functional interpretation and its use in current mathematics

Dialectica 62 (2):223–267 (2008)
  Copy   BIBTEX

Abstract

No Abstract

Categories

Keywords

Reprint years

DOI

10.1111/j.1746-8361.2008.01141.x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
Gödel, Carnap and the Fregean heritage.Gabriella Crocco - 2003 - Synthese 137 (1-2):21 - 41.
Extensional Gödel functional interpretation.Horst Luckhardt - 1973 - New York,: Springer Verlag.
A most artistic package of a jumble of ideas.Fernando Ferreira - 2008 - Dialectica 62 (2):205–222.
Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory.Wolfgang Burr - 2002 - Synthese 133 (1-2):257 - 274.
Functional interpretation and inductive definitions.Jeremy Avigad & Henry Towsner - 2009 - Journal of Symbolic Logic 74 (4):1100-1120.
The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
Kurt Gödel: essays for his centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Ithaca, NY: Association for Symbolic Logic.
Goedel's Way: Exploits Into an Undecidable World.Gregory J. Chaitin - 2011 - Crc Press. Edited by Francisco Antônio Doria & Newton C. A. da Costa.
Kurt Gödel and the foundations of mathematics: horizons of truth.Matthias Baaz (ed.) - 2011 - New York: Cambridge University Press.

Analytics

Added to PP
2009-01-28

Downloads
237 (#85,235)

6 months
4 (#790,394)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Gödel functional interpretation and weak compactness.Ulrich Kohlenbach - 2012 - Annals of Pure and Applied Logic 163 (11):1560-1579.

Add more citations

References found in this work

Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.

View all 52 references / Add more references