On the recursive functions of ordinal numbers

Gaisi TAKEUTI

doi:10.2969/jmsj/01220119

Gaisi TAKEUTI

Author information

JOURNAL FREE ACCESS

1960 Volume 12 Issue 2 Pages 119-128

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

Details

Published: 1960 Received: May 26, 1959 Available on J-STAGE: August 29, 2006 Accepted: - Advance online publication: - Revised: -
Correction information
Date of correction: August 29, 2006 Reason for correction: - Correction: SUBTITLE Details: Wrong : Dedicated to Professor Z. Suetuna for his 60th birthday

Date of correction: August 29, 2006 Reason for correction: - Correction: CITATION Details: 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.

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

Corresponding author

Correction information

Register with J-STAGE for free!