On the recursive functions of ordinal numbers

Gaisi TAKEUTI

doi:10.2969/jmsj/01220119

Gaisi TAKEUTI

著者情報

ジャーナルフリー

1960 年 12 巻 2 号 p. 119-128

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

詳細

Published: 1960 Received: 1959/05/26 Available on J-STAGE: 2006/08/29 Accepted: - Advance online publication: - Revised: -
訂正情報
訂正日: 2006/08/29 訂正理由: - 訂正箇所: 論文サブタイトル訂正内容: Wrong : Dedicated to Professor Z. Suetuna for his 60th birthday

訂正日: 2006/08/29 訂正理由: - 訂正箇所: 引用文献情報訂正内容: Wrong : 1) A. Church and S. C. Kleene, Formal definitions in the theory of ordinal numbers, Fund. Math., 28 (1936), 11-21.
2) K. Gödel, The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axiom of set theory, Princeton, 1951.
3) S. C. Kleene, Introduction to metamathematics, Amsterdam-Groningen and New York-Tronte, 1952.
4) A. Mostowski, An undecidable arithmetical statement. Fund. Math., 36 (1949), 143-164.
5) C. Spector, Recursive well-orderings, The Jour. of Symbolic Logic, 20 (1955), 151-163.
6) G. Takeuti, On the theory of ordinal numbers, J. Math. Soc. Japan, 9 (1957), 93-113.
7) A. Tarski, Über unerreichbare Kardinalzahlen, Fund. Math., 30 (1938), 68-89.

Right : [1] A. Church and S. C. Kleene, Formal definitions in the theory of ordinal numbers, Fund. Math., 28 (1936), 11-21.
[2] K. Gödel, The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axiom of set theory, Princeton, 1951.
[3] S. C. Kleene, Introduction to metamathematics, Amsterdam-Groningen and New York-Tronte, 1952.
[4] A. Mostowski, An undecidable arithmetical statement. Fund. Math., 36 (1949), 143-164.
[5] C. Spector, Recursive well-orderings, The Jour. of Symbolic Logic, 20 (1955), 151-163.
[6] G. Takeuti, On the theory of ordinal numbers, J. Math. Soc. Japan, 9 (1957), 93-113.
[7] A. Tarski, Über unerreichbare Kardinalzahlen, Fund. Math., 30 (1938), 68-89.

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

責任著者(Corresponding author)

訂正情報

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