Published: 1958 Received: August 29, 1957Available on J-STAGE: August 29, 2006Accepted: -
Advance online publication: -
Revised: -
Correction information
Date of correction: August 29, 2006Reason for correction: -Correction: CITATIONDetails: Wrong : 1) G. Gentzen, Die gegenwärtige Lage in der mathematische Grundlagenforschung, Neue Fassung des Widerspruchsfreiheitsbeweis für die refine Zahlentheorie, Leipzig, 1938. 2) G. Takeuti, On a generalized logic calculus, Jap. J. Math., 23 (1953), 39-96. Errata to 'On a Generalized Logic Calculus', Jap. J. Math., 24 (1954), 149-156. 3) G. Takeuti, On the fundamental conjecture of GLC I, J. Math. Soc. Japan, 7 (1955), 249-275. 4) G. Takeuti, On the fundamental conjecture of GLC II, J. Math. Soc. Japan, 7 (1955), 394-408. 5) G. Takeuti, On the fundamental conjecture of GLC III, J. Math. Soc. Japan, 8 (1956), 54-64. 6) G. Takeuti, On the fundamental conjecture of GLC IV, J. Math. Soc. Japan, 8 (1956), 145-155. 7) G. Takeuti, Ordinal diagrams, J. Math. Soc. Japan, 9 (1957), 386-394. 8) G. Takeuti, On the formal theory of the ordinal diagrams, Ann. Japan Assoc. Philos. Sci., 3 (1958), 1-20.
Right : [1] G. Gentzen, Die gegenwärtige Lage in der mathematische Grundlagenforschung, Neue Fassung des Widerspruchsfreiheitsbeweis für die reine Zahlentheorie, Leipzig, 1938. [2] G. Takeuti, On a generalized logic calculus, Jap. J. Math., 23 (1953), 39-96. Errata to ‘On a Generalized Logic Calculus’, Jap. J. Math., 24 (1954), 149-156. [3] G. Takeuti, On the fundamental conjecture of GLC I, J. Math. Soc. Japan, 7 (1955), 249-275. [4] G. Takeuti, On the fundamental conjecture of GLC II, J. Math. Soc. Japan, 7 (1955), 394-408. [5] G. Takeuti, On the fundamental conjecture of GLC III, J. Math. Soc. Japan, 8 (1956), 54-64. [6] G. Takeuti, On the fundamental conjecture of GLC IV, J. Math. Soc. Japan, 8 (1956), 145-155. [7] G. Takeuti, Ordinal diagrams, J. Math. Soc. Japan, 9 (1957), 386-394. [8] G. Takeuti, On the formal theory of the ordinal diagrams, Ann. Japan Assoc. Philos. Sci., 3 (1958), 1-20.
Date of correction: August 29, 2006Reason for correction: -Correction: PDF FILEDetails: -