Intuitionistic Analysis and Gödel's Interpretation

Journal of Symbolic Logic 37 (2):404-404 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272993

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

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

Review: Mariko Yasugi, Intuitionistic Analysis and Godel's Interpretation. [REVIEW]A. S. Troelstra - 1972 - Journal of Symbolic Logic 37 (2):404-404.
Mariko Yasugi. Intuitionistic analysis and Gödel's interpretation. Journal of the Mathematical Society of Japan, vol. 15 , pp. 101–112. [REVIEW]A. S. Troelstra - 1972 - Journal of Symbolic Logic 37 (2):404.
Review: Gaisi Takeuti, Mariko Yasugi, The Ordinals of the Systems of Second Order Arithmetic with the Provably $triangle^12$-Comprehension Axiom and with the $triangle^12$- Comprehension Axiom Respectively. [REVIEW]Kurt Schutte - 1983 - Journal of Symbolic Logic 48 (3):877-878.
Takeuti Gaisi and Yasugi Mariko. The ordinals of the systems of second order arithmetic with the provably -comprehension axiom and with the -comprehension axiom respectively. Japanese journal of mathematics, vol. 41 , pp. 1–67. [REVIEW]Kurt Schütte - 1983 - Journal of Symbolic Logic 48 (3):877-880.
An Analysis of Gödel's dialectica Interpretation via Linear Logic.Paulo Oliva - 2008 - Dialectica 62 (2):269-290.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
Gödel's Functional Interpretation.Jeremy Avigad & Solomon Feferman - 2000 - Bulletin of Symbolic Logic 6 (4):469-470.
Review: N. A. Sanin, On the Constructive Interpretation of Mathematical Judgments; S. C. Kleene, A Formal System of Intuitionistic Analysis. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
Extending gödel's negative interpretation to ZF.William C. Powell - 1975 - Journal of Symbolic Logic 40 (2):221-229.
An Intuitionistically Plausible Interpretation of Intuitionistic Logic.H. C. M. De Swart - 1977 - Journal of Symbolic Logic 42 (4):564 - 578.

Analytics

Added to PP
2015-02-05

Downloads
3 (#1,728,269)

6 months
1 (#1,516,001)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bounded functional interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
The machinery of consistency proofs.Mariko Yasugi - 1989 - Annals of Pure and Applied Logic 44 (1-2):139-152.

Add more citations

References found in this work

No references found.

Add more references