Unifying Functional Interpretations

Notre Dame Journal of Formal Logic 47 (2):263-290 (2006)
  Copy   BIBTEX

Abstract

This article presents a parametrized functional interpretation. Depending on the choice of two parameters one obtains well-known functional interpretations such as Gödel's Dialectica interpretation, Diller-Nahm's variant of the Dialectica interpretation, Kohlenbach's monotone interpretations, Kreisel's modified realizability, and Stein's family of functional interpretations. A functional interpretation consists of a formula interpretation and a soundness proof. I show that all these interpretations differ only on two design choices: first, on the number of counterexamples for A which became witnesses for ¬A when defining the formula interpretation and, second, the inductive information about the witnesses of A which is considered in the proof of soundness. Sufficient conditions on the parameters are also given which ensure the soundness of the resulting functional interpretation. The relation between the parametrized interpretation and the recent bounded functional interpretation is also discussed

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

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

Through your library

Similar books and articles

Proof interpretations with truth.Jaime Gaspar & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (6):591-610.
A note on the monotone functional interpretation.Ulrich Kohlenbach - 2011 - Mathematical Logic Quarterly 57 (6):611-614.
Factorization of the Shoenfield-like Bounded Functional Interpretation.Jaime Gaspar - 2009 - Notre Dame Journal of Formal Logic 50 (1):53-60.
Functional interpretations.Justus Diller - 2020 - New Jersey: World Scientific.
Cartesian closed Dialectica categories.Bodil Biering - 2008 - Annals of Pure and Applied Logic 156 (2):290-307.
Bounded functional interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.

Analytics

Added to PP
2010-08-24

Downloads
42 (#111,429)

6 months
12 (#1,086,452)

Historical graph of downloads
How can I increase my downloads?