Intuitionistic analysis and Gödel's interpretation

Mariko YASUGI

doi:10.2969/jmsj/01520101

Mariko YASUGI

Author information

JOURNAL FREE ACCESS

1963 Volume 15 Issue 2 Pages 101-112

DOI https://doi.org/10.2969/jmsj/01520101

Details

Published: 1963 Received: January 18, 1962 Available on J-STAGE: September 26, 2006 Accepted: - Advance online publication: - Revised: -
Correction information
Date of correction: September 26, 2006 Reason for correction: - Correction: CITATION Details: Wrong : 1) G. Gentzen, Untersuchungen über das logische Schliessen, I, Math. Z., 39 176-210,
2) K. Gödel, Über eine bisher noch nicht benützte Erweiterung des finiten Stand-punktes, Bibliothèque Scientifique, 34 Logica (1960), 76-83.
3) S.C. Kleene, Introduction to Metamathematics, Amsterdam, 1952.
4) G. Kreisel, Interpretation of analysis by means of constructive functionals of finite types, Constructivity in Mathematics, Amsterdam (1959), 101-128.
5) G. Kreisel, Inessential extensions of Heyting's arithmetic by means of functionals of finite types, J. Symbolic Logic, 24 (1959), p. 284 (Abstracts of papers).
6) G. Takeuti, On the fundamental conjecture of GLC I, J. Math. Soc. Japan, 7 (1955), 249-275.

Right : [1] G. Gentzen, Untersuchungen über das logische Schliessen, I, Math. Z., 39 176-210,
[2] K. Gödel, Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes, Bibliothèque Scientifique, 34 Logica (1960), 76-83.
[3] S.C. Kleene, Introduction to Metamathematics, Amsterdam, 1952.
[4] G. Kreisel, Interpretation of analysis by means of constructive functionals of finite types, Constructivity in Mathematics, Amsterdam (1959), 101-128.
[5] G. Kreisel, Inessential extensions of Heyting's arithmetic by means of functionals of finite types, J. Symbolic Logic, 24 (1959), p. 284 (Abstracts of papers).
[6] G. Takeuti, On the fundamental conjecture of GLC I, J. Math. Soc. Japan, 7 (1955), 249-275.

Date of correction: September 26, 2006 Reason for correction: - Correction: PDF FILE Details: -

Corresponding author

Correction information

Register with J-STAGE for free!