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

Other Versions

No versions found

Links

PhilArchive



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

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.
Toshio Nishimura. On Gödel's theorem. Journal of the Mathematical Society of Japan, vol. 13 , pp. 1–12.Gert Heinz Muller - 1964 - Journal of Symbolic Logic 29 (2):106-107.
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 Schutte - 1983 - Journal of Symbolic Logic 48 (3):877-880.
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.
Gaisi Takeuti and Akiko Kino. On predicates with constructive infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 15 , pp. 176–190. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):97-98.
Jean-Yves Girard. Linear logic. Theoretical computer science, vol. 50 , pp. 1–101. - A. S. Troelstra. Lectures on linear logic. CSLI lecture notes, no. 29. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, New York, ix + 200 pp. [REVIEW]Herman Ruge Jervell - 1996 - Journal of Symbolic Logic 61 (1):336-338.
Intuitionistic Analysis and Gödel's Interpretation.Mariko Yasugi - 1972 - Journal of Symbolic Logic 37 (2):404-404.
Review: Kurt Godel, John Dawson, An Interpretation of the Intuitionistic Propositional Calculus (1933f); A. S. Troelstra, Introductory Note to 1933f. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
Troelstra A. S.. Choice sequences. A chapter of intuitionistic mathematics. Oxford logic guides. Clarendon Press, Oxford 1977, ix + 170 pp. [REVIEW]Richard Vesley - 1979 - Journal of Symbolic Logic 44 (2):275-276.
Hirano Jirô. Zum Zerlegungssatz im erweiterten einstelligen Prädikatenkalkül. Proceedings of the Physico-mathematical Society of Japan, 3 s. vol. 19 , pp. 395–412. [REVIEW]Barkley Rosser - 1938 - Journal of Symbolic Logic 3 (2):91-91.

Analytics

Added to PP
2013-11-22

Downloads
38 (#594,912)

6 months
7 (#715,360)

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