Archive for Mathematical Logic 43 (7):891-900 (2004)

We present a realizability interpretation for classical analysis–an association of a term to every proof so that the terms assigned to existential formulas represent witnesses to the truth of that formula. For classical proofs of Π2 sentences ∀x∃yA(x,y), this provides a recursive type 1 function which computes the function given by f(x)=y iff y is the least number such that A(x,y)
Keywords Mathematics
Categories (categorize this paper)
DOI 10.1007/s00153-004-0233-3
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,848
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On Weak Completeness of Intuitionistic Predicate Logic.G. Kreisel - 1962 - Journal of Symbolic Logic 27 (2):139-158.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Realizability Interpretation for Classical Arithmetic.Jeremy Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):439-440.
Unifying Functional Interpretations.Paulo Oliva - 2006 - Notre Dame Journal of Formal Logic 47 (2):263-290.
Bounded Modified Realizability.Fernando Ferreira & Ana Nunes - 2006 - Journal of Symbolic Logic 71 (1):329 - 346.
Realization of Analysis Into Explicit Mathematics.Sergei Tupailo - 2001 - Journal of Symbolic Logic 66 (4):1848-1864.
A Liberal Conception of Multiple Realizability.Eric Funkhouser - 2007 - Philosophical Studies 132 (3):467-494.
A Completeness Result for the Simply Typed Λμ-Calculus.Karim Nour & Khelifa Saber - 2010 - Annals of Pure and Applied Logic 161 (1):109-118.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
Multiple Realizability.Eric Funkhouser - 2007 - Philosophy Compass 2 (2):303–315.


Added to PP index

Total views
10 ( #856,141 of 2,433,036 )

Recent downloads (6 months)
1 ( #463,753 of 2,433,036 )

How can I increase my downloads?


My notes