Functional interpretation and the existence property

Mathematical Logic Quarterly 50 (6):573-576 (2004)
  Copy   BIBTEX

Abstract

It is shown that functional interpretation can be used to show the existence property of intuitionistic number theory. On the basis of truth variants a comparison is then made between realisability and functional interpretation showing a structural difference between the two.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.200410004

Links

PhilArchive



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

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

Functional interpretation and the existence property.Klaus Frovin Jørgensen - 2004 - Mathematical Logic Quarterly 50 (6):573-576.
A note on the monotone functional interpretation.Ulrich Kohlenbach - 2011 - Mathematical Logic Quarterly 57 (6):611-614.
Proof interpretations with truth.Jaime Gaspar & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (6):591-610.
Unifying Functional Interpretations.Paulo Oliva - 2006 - Notre Dame Journal of Formal Logic 47 (2):263-290.
The bounded functional interpretation of the double negation shift.Patrícia Engrácia & Fernando Ferreira - 2010 - Journal of Symbolic Logic 75 (2):759-773.
Factorization of the Shoenfield-like Bounded Functional Interpretation.Jaime Gaspar - 2009 - Notre Dame Journal of Formal Logic 50 (1):53-60.
Bounded functional interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory.Wolfgang Burr - 2002 - Synthese 133 (1-2):257 - 274.
On the derivability of instantiation properties.Harvey Friedman - 1977 - Journal of Symbolic Logic 42 (4):506-514.
Natural Kinds and the Identity of Property.Chang Seong Hong - 1998 - Teorema: International Journal of Philosophy 17 (1):89-98.
Characterizing the interpretation of set theory in Martin-Löf type theory.Michael Rathjen & Sergei Tupailo - 2006 - Annals of Pure and Applied Logic 141 (3):442-471.
Bounded functional interpretation and feasible analysis.Fernando Ferreira & Paulo Oliva - 2007 - Annals of Pure and Applied Logic 145 (2):115-129.
The Nine Lives of Legal Interpretation.Bruce Anderson - 2010 - Journal of Macrodynamic Analysis 5:30-36.
A Diller-Nahm-style functional interpretation of $\hbox{\sf KP} \omega$.Wolfgang Burr - 2000 - Archive for Mathematical Logic 39 (8):599-604.
Extracting Herbrand disjunctions by functional interpretation.Philipp Gerhardy & Ulrich Kohlenbach - 2005 - Archive for Mathematical Logic 44 (5):633-644.

Analytics

Added to PP
2013-12-01

Downloads
19 (#778,470)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof interpretations with truth.Jaime Gaspar & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (6):591-610.

Add more citations

References found in this work

No references found.

Add more references