Gödel's Functional Interpretation

&
Bulletin of Symbolic Logic 6 (4):469-470 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/420972

Links

PhilArchive



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

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

An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
Functional interpretation and inductive definitions.Jeremy Avigad & Henry Towsner - 2009 - Journal of Symbolic Logic 74 (4):1100-1120.
A most artistic package of a jumble of ideas.Fernando Ferreira - 2008 - Dialectica 62 (2):205–222.
Odel's dialectica interpretation and its two-way stretch.Solomon Feferman - manuscript
Gödel's functional interpretation and its use in current mathematics.Ulrich Kohlenbach - 2008 - Dialectica 62 (2):223–267.
Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory.Wolfgang Burr - 2002 - Synthese 133 (1-2):257 - 274.
Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Sam Buss (ed.), Handbook of Proof Theory. Elsevier. pp. 337-405.
Godel's interpretation of intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.
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.
Functional interpretations of constructive set theory in all finite types.Justus Diller - 2008 - Dialectica 62 (2):149–177.
Kurt Gödel and the foundations of mathematics: horizons of truth.Matthias Baaz (ed.) - 2011 - New York: Cambridge University Press.
Extensional Gödel functional interpretation.Horst Luckhardt - 1973 - New York,: Springer Verlag.
GENERAL. The Gödel editorial project : a synopsis.Solomon Feferman - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.

Analytics

Added to PP
2010-09-14

Downloads
35 (#453,912)

6 months
4 (#775,606)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jeremy Avigad
Carnegie Mellon University

Citations of this work

Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.
Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
Reverse formalism 16.Sam Sanders - 2020 - Synthese 197 (2):497-544.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references