Bounded Modified Realizability

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

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

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

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
2010-08-24

Downloads
44 (#317,814)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

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