Relativized realizability in intuitionistic arithmetic of all finite types

Journal of Symbolic Logic 43 (1):23-44 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271946

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,445

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

Troelstra A. S.. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., North-Holland Publishing Company, Amsterdam and London 1971, pp. 369–405. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (4):625-625.
Extensional Realizability and Choice for Dependent Types in Intuitionistic Set Theory.Emanuele Frittaion - 2023 - Journal of Symbolic Logic 88 (3):1138-1169.
Realizability semantics for quantified modal logic: Generalizing flagg’s 1985 construction.Benjamin G. Rin & Sean Walsh - 2016 - Review of Symbolic Logic 9 (4):752-809.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
A note on Goodman's theorem.Ulrich Kohlenbach - 1999 - Studia Logica 63 (1):1-5.
Finite Sets and Natural Numbers in Intuitionistic TT.Daniel Dzierzgowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):585-601.
Herbrandized modified realizability.Gilda Ferreira & Paulo Firmino - 2024 - Archive for Mathematical Logic 63 (5):703-721.
A Realizability Interpretation for Classical Arithmetic.Jeremy Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):439-440.
Flagg realizability in arithmetic.Nicolas D. Goodman - 1986 - Journal of Symbolic Logic 51 (2):387-392.

Analytics

Added to PP
2009-01-28

Downloads
128 (#152,773)

6 months
10 (#288,781)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.
A semantical proof of De Jongh's theorem.Jaap van Oosten - 1991 - Archive for Mathematical Logic 31 (2):105-114.
An intuitionistic fixed point theory.Wilfried Buchholz - 1997 - Archive for Mathematical Logic 37 (1):21-27.
Remarks on Herbrand normal forms and Herbrand realizations.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (5):305-317.

View all 16 citations / Add more citations

References found in this work

Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.

Add more references