Odel's dialectica interpretation and its two-way stretch

Abstract

In 1958, G¨ odel published in the journal Dialectica an interpretation of intuitionistic number theory in a quantifier-free theory of functionals of finite type; this subsequently came to be known as G¨ odel’s functional or Dialectica interpretation. The article itself was written in German for an issue of that journal in honor of Paul Bernays’ 70th birthday. In 1965, Bernays told G¨.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,792

External links

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.

My notes

Similar books and articles

A variant of the double-negation translation.Jeremy Avigad - manuscript
Predicative functionals and an interpretation of ⌢ID.Jeremy Avigad - 1998 - Annals of Pure and Applied Logic 92 (1):1-34.
Gödel on intuition and on Hilbert's finitism.W. W. Tait - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson, Kurt Gödel: essays for his centennial. Ithaca, NY: Association for Symbolic Logic.
Cartesian closed Dialectica categories.Bodil Biering - 2008 - Annals of Pure and Applied Logic 156 (2):290-307.
Functional interpretations.Justus Diller - 2020 - New Jersey: World Scientific.
Functional interpretation and inductive definitions.Jeremy Avigad & Henry Towsner - 2009 - Journal of Symbolic Logic 74 (4):1100-1120.
Paul Bernays†. Le Comité - 1977 - Dialectica 31 (3‐4):211-211.
Jeremy Avigad and Solomon Feferman. Gödel's functional (“Dialectica”) interpretation. Handbook of proof theory, edited by Samuel R. Buss, Studies in logic and the foundations of mathematics, vol. 137, Elsevier, Amsterdam etc. 1998, pp. 337–405. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):469-470.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
Godel's interpretation of intuitionism.William Tait - 2006 - Philosophia Mathematica 14 (2):208-228.

Analytics

Added to PP
2009-01-28

Downloads
55 (#423,716)

6 months
8 (#493,692)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Human Rationality Challenges Universal Logic.Brian R. Gaines - 2010 - Logica Universalis 4 (2):163-205.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
Fragments of arithmetic.Wilfried Sieg - 1985 - Annals of Pure and Applied Logic 28 (1):33-71.

View all 15 references / Add more references