Journal of Symbolic Logic 71 (1):329 - 346 (2006)

Authors
Abstract
We define a notion of realizability, based on a new assignment of formulas, which does not care for precise witnesses of existential statements, but only for bounds for them. The novel form of realizability supports a very general form of the FAN theorem, refutes Markov's principle but meshes well with some classical principles, including the lesser limited principle of omniscience and weak König's lemma. We discuss some applications, as well as some previous results in the literature
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1140641178
Options
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,949
Through your library

References found in this work BETA

Bounded Functional Interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
On Uniform Weak König's Lemma.Ulrich Kohlenbach - 2002 - Annals of Pure and Applied Logic 114 (1-3):103-116.

Add more references

Citations of this work BETA

A Functional Interpretation for Nonstandard Arithmetic.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2012 - Annals of Pure and Applied Logic 163 (12):1962-1994.
Confined Modified Realizability.Gilda Ferreira & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (1):13-28.

View all 8 citations / Add more citations

Similar books and articles

A General Notion of Realizability.Lars Birkedal - 2002 - Bulletin of Symbolic Logic 8 (2):266-282.
Elementary Realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.
Multiple Realizability.Eric Funkhouser - 2007 - Philosophy Compass 2 (2):303–315.
A Liberal Conception of Multiple Realizability.Eric Funkhouser - 2007 - Philosophical Studies 132 (3):467-494.
A Survey of Propositional Realizability Logic.Valery Plisko - 2009 - Bulletin of Symbolic Logic 15 (1):1-42.
Multiple Realizability.Ronald P. Endicott - 2005 - In D. Borchert (ed.), Encyclopedia of Philosophy, 2nd edition. Thomson Gale, Macmillan Reference.
Polynomially Bounded Recursive Realizability.Saeed Salehi - 2005 - Notre Dame Journal of Formal Logic 46 (4):407-417.
Multiple Realizability, Identity Theory, and the Gradual Reorganization Principle.David A. Barrett - 2013 - British Journal for the Philosophy of Science 64 (2):325-346.
A Realizability Interpretation for Classical Arithmetic.Jeremy Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):439-440.

Analytics

Added to PP index
2010-08-24

Total views
43 ( #241,439 of 2,433,230 )

Recent downloads (6 months)
1 ( #462,722 of 2,433,230 )

How can I increase my downloads?

Downloads

My notes