On the partial recursive functions of ordinal numbers

Tosiyuki TUGUÉ

doi:10.2969/jmsj/01610001

Tosiyuki TUGUÉ

著者情報

ジャーナルフリー

1964 年 16 巻 1 号 p. 1-31

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

詳細

Published: 1964 Received: 1963/05/15 Available on J-STAGE: 2006/09/26 Accepted: - Advance online publication: - Revised: -
訂正情報
訂正日: 2006/09/26 訂正理由: - 訂正箇所: 論文サブタイトル訂正内容: Wrong : Dedicated to Professor Y. Akizuki for his 60th birthday

訂正日: 2006/09/26 訂正理由: - 訂正箇所: 引用文献情報訂正内容: Wrong : 1) K. Gödel, The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory, Princeton, 1940.
2) S. C. Kleene, Introduction to metamathematics, New York, Amsterdam and Groningen, 1952.
3) S. C. Kleene, Hi erarchies of number-theoretic predicates, Bull. Amer. Math. Soc.,61 (1955), 193-213.
4) M. Machover, The theory of transfinite recursion, Bull. Amer. Math. Soc., 67 (1961), 575-578.
5) G. Takeuti, Construction of the set theory from the theory of ordinal numbers, J. Math. Soc. Japan, 6 (1954), 196-220.
6) G. Takeuti, On the theory of ordinal numbers, J. Math. Soc. Japan, 9 (1957), 93-113.
7) G. Takeuti, On the recursive functions of ordinal numbers, J. Math. Soc. Japan, 12 (1960), 119-128.
8) G. Takeuti and A. Kino, On hierarchies of predicates of ordinal numbers, J. Math. Soc. Japan, 14 (1962), 199-232.

Right : [1] K. Gödel, The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory, Princeton, 1940.
[2] S. C. Kleene, Introduction to metamathematics, New York, Amsterdam and Groningen, 1952.
[3] S. C. Kleene, Hierarchies of number-theoretic predicates, Bull. Amer. Math. Soc., 61 (1955), 193-213.
[4] M. Machover, The theory of transfinite recursion, Bull. Amer. Math. Soc., 67 (1961), 575-578.
[5] G. Takeuti, Construction of the set theory from the theory of ordinal numbers, J. Math. Soc. Japan, 6 (1954), 196-220.
[6] G. Takeuti, On the theory of ordinal numbers, J. Math. Soc. Japan, 9 (1957), 93-113.
[7] G. Takeuti, On the recursive functions of ordinal numbers, J. Math. Soc. Japan, 12 (1960), 119-128.
[8] G. Takeuti and A. Kino, On hierarchies of predicates of ordinal numbers, J. Math. Soc. Japan, 14 (1962), 199-232.

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

責任著者(Corresponding author)

訂正情報

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