Mariko Yasugi. Intuitionistic analysis and Gödel's interpretation. Journal of the Mathematical Society of Japan, vol. 15 , pp. 101–112 [Book Review]

Journal of Symbolic Logic 37 (2):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: 91,386

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.
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.
Review: Toshio Nishimura, Godel's Theorem and Related Topics. [REVIEW]Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (4):649-650.
The effective sequence of uniformities and its limit: as a methodology in computable analysis.Mariko Yasugi, Takakazu Mori & Yoshiki Tsujii - 2007 - Annals of the Japan Association for Philosophy of Science 15 (2):99-121.
Information-Extraction Through Reduction Methods In Some Formal Systems.Mariko Yasugi - 1986 - Annals of the Japan Association for Philosophy of Science 7 (1):33-46.
Review: Stephen Cole Kleene, Mathematical Logic. [REVIEW]Mariko Yasugi - 1970 - Journal of Symbolic Logic 35 (3):438-440.
Reviews. Stephen Cole Kleene. Mathematical logic. John Wiley & Sons, Inc., New York, London, and Sydney, 1967, xiii + 398 pp. [REVIEW]Mariko Yasugi - 1970 - Journal of Symbolic Logic 35 (3):438-440.
Preface: MLQ ‐ Math. Log. Quart. Supplement 1/2002.Vasco Brattka, Peter Hertling, Mariko Yasugi & Ning Zhong - 2002 - Mathematical Logic Quarterly 48 (S1):III-III.
Review: Kempachiro Ohashi, On Undecidable Theorems. [REVIEW]Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (1):131-131.
Review: Setsuya Seki, On Transfinite Arguments. [REVIEW]Mariko Yasugi - 1968 - Journal of Symbolic Logic 33 (4):632-632.
Review: Kensuke Takeuchi, The Word Problem of Free Algebras. [REVIEW]Mariko Yasugi - 1969 - Journal of Symbolic Logic 34 (2):302-303.
The machinery of consistency proofs.Mariko Yasugi - 1989 - Annals of Pure and Applied Logic 44 (1-2):139-152.
Interpretations of set theory and ordinal number theory.Mariko Yasugi - 1967 - Journal of Symbolic Logic 32 (2):145-161.
Reijiro Kurata. Recursive progression of intuitionistic number theories. Journal of the Mathematical Society of Japan, vol. 17 , pp. 140–166. [REVIEW]Solomon Feferman - 1973 - Journal of Symbolic Logic 38 (2):333.

Analytics

Added to PP
2016-06-30

Downloads
19 (#778,470)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anne Troelstra
Last affiliation: University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references