A partial analysis of modified realizability

Journal of Symbolic Logic 69 (2):421-429 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1082418535

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

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

Jaap van Oosten. Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152. Elsevier Science, Amsterdam, 2008, 328 pp. [REVIEW]Peter T. Johnstone - 2010 - Bulletin of Symbolic Logic 16 (3):407-409.
Relative and modified relative realizability.Lars Birkedal & Jaap van Oosten - 2002 - Annals of Pure and Applied Logic 118 (1-2):115-132.
A general notion of realizability.Lars Birkedal - 2002 - Bulletin of Symbolic Logic 8 (2):266-282.
Herbrandized modified realizability.Gilda Ferreira & Paulo Firmino - 2024 - Archive for Mathematical Logic 63 (5):703-721.
Proof interpretations with truth.Jaime Gaspar & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (6):591-610.
Lifschitz' realizability.Jaap van Oosten - 1990 - Journal of Symbolic Logic 55 (2):805-821.
Jaap van der Does & Jan Van Eijk, eds., Quantifiers, Logic, and Language. [REVIEW]Varol Akman - 1998 - Natural Language Engineering 4 (4):363-382.
Confined modified realizability.Gilda Ferreira & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (1):13-28.
Unavoidable sequences in constructive analysis.Joan Rand Moschovakis - 2010 - Mathematical Logic Quarterly 56 (2):205-215.
De Wijsbegeerte van het Oosten.Antoon Vloemans - 1949 - Tijdschrift Voor Filosofie 11 (3):504-505.

Analytics

Added to PP
2010-08-24

Downloads
47 (#475,501)

6 months
10 (#436,689)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jaap Van Oosten
Leiden University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references