Published: 1961 Received: January 23, 1961Available 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, Neue Fassung des Widerspruchsfreiheitsbeweises für die reinen Zahlentheorie, Forschung zur Logik und Grundlegung der exakten Wissen-schaften, Neue Folge 4, Leipzig (1938), 19-44. 2) G. Takeuti, Ordinal diagrams, J. Math. Soc. Japan, 9 (1957), 386-394. 3) G. Takeuti, Ordinal diagrams II, J. Math. Soc. Japan, 12 (1960), 385-391. 4) G. Takeuti, On the Formal Theory of the Ordinal Diagrams, Ann. Japan Assoc. Philos. Sci., 3 (1958), 151-170. 5) G. Takeuti, On the inductive definition with quantifiers of second order, J. Math. Soc. Japan, 13 (1961), 333-341.
Right : [1] G. Gentzen, Neue Fassung des Widerspruchsfreiheitsbeweises für die reinen Zahlentheorie, Forschung zur Logik und Grundlegung der exakten Wissenschaften, Neue Folge 4, Leipzig (1938), 19-44. [2] G. Takeuti, Ordinal diagrams, J. Math. Soc. Japan, 9 (1957), 386-394. [3] G. Takeuti, Ordinal diagrams II, J. Math. Soc. Japan, 12 (1960), 385-391. [4] G. Takeuti, On the Formal Theory of the Ordinal Diagrams, Ann. Japan Assoc. Philos. Sci., 3 (1958), 151-170. [5] G. Takeuti, On the inductive definition with quantifiers of second order, J. Math. Soc. Japan, 13 (1961), 333-341.
Date of correction: August 29, 2006Reason for correction: -Correction: PDF FILEDetails: -