On the inductive definition with quantifiers of second order

Gaisi TAKEUTI

doi:10.2969/jmsj/01340333

Gaisi TAKEUTI

Author information

JOURNAL FREE ACCESS

1961 Volume 13 Issue 4 Pages 333-341

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

Details

Published: 1961 Received: September 15, 1960 Available on J-STAGE: August 29, 2006 Accepted: - Advance online publication: - Revised: -
Correction information
Date of correction: August 29, 2006 Reason for correction: - Correction: CITATION Details: Wrong : 1) G. Gentzen, Die gegenwertige Lage in der mathematische Grundlagenforschung, Neue Fassung des Widerspruchsfreiheitsbeweises 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; IV, J. Math. Soc. Japan, 8 (1956), 145-155.
4) G. Takeuti, Ordinal diagrams, J. Math. Soc. Japan, 9 (1957), 386-394.
5) G. Takeuti, On the fundamental conjecture of GLC, V, J. Math. Soc. Japan, 10 (1958), 121-134.
6) G. Takeuti, Ordinal Diagrams II, J. Math. Soc. Japan, 12 (1960), 385-391.

Right : [1] G. Gentzen, Die gegenwertige Lage in der mathematische Grundlagenforschung, Neue Fassung des Widerspruchsfreiheitsbeweises 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; IV, J. Math. Soc. Japan, 8 (1956), 145-155.
[4] G. Takeuti, Ordinal diagrams, J. Math. Soc. Japan, 9 (1957), 386-394.
[5] G. Takeuti, On the fundamental conjecture of GLC, V, J. Math. Soc. Japan, 10 (1958), 121-134.
[6] G. Takeuti, Ordinal Diagrams II, J. Math. Soc. Japan, 12 (1960), 385-391.

Date of correction: August 29, 2006 Reason for correction: - Correction: PDF FILE Details: -

Corresponding author

Correction information

Register with J-STAGE for free!