On the inductive definition with quantifiers of second order

Gaisi TAKEUTI

doi:10.2969/jmsj/01340333

Gaisi TAKEUTI

著者情報

ジャーナルフリー

1961 年 13 巻 4 号 p. 333-341

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

詳細

Published: 1961 Received: 1960/09/15 Available on J-STAGE: 2006/08/29 Accepted: - Advance online publication: - Revised: -
訂正情報
訂正日: 2006/08/29 訂正理由: - 訂正箇所: 引用文献情報訂正内容: 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.

訂正日: 2006/08/29 訂正理由: - 訂正箇所: PDFファイル訂正内容: -

責任著者(Corresponding author)

訂正情報

J-STAGEへの登録はこちら（無料）