A note on predicates of ordinal numbers

Akiko KINO; Gaisi TAKEUTI

doi:10.2969/jmsj/01440367

Akiko KINO, Gaisi TAKEUTI

著者情報

ジャーナルフリー

1962 年 14 巻 4 号 p. 367-378

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

詳細

Published: 1962 Received: 1962/03/22 Available on J-STAGE: 2006/09/26 Accepted: - Advance online publication: - Revised: -
訂正情報
訂正日: 2006/09/26 訂正理由: - 訂正箇所: 引用文献情報訂正内容: Wrong : 1) J. W. Addison, Some consequences of the axiom of constructibility, Fund. Math., 46 (1959), 337-357.
2) J. W. Addison, Separation principles in the hierarchies of classical and effective set theory, Fund. Math., 46 (1959), 123-134.
3) K. Gödel, The consistency of the axiom of choice and of generalized continuum hypothesis with the axioms of set theory, Princeton, 1940.
4) S. C. Kleene, Recursive functionals and quantifiers of finite types I, Trans. Amer. Math. Soc., 91 (1959), 1-52.
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.
9) T. Tugué, Predicates recursive in a type-2 object and Kleene hierarchies, Comment. Math. Univ. St. Paul., 8 (1959), 97-117.

Right : [1] J. W. Addison, Some consequences of the axiom of constructibility, Fund. Math., 46 (1959), 337-357.
[2] J. W. Addison, Separation principles in the hierarchies of classical and effective set theory, Fund. Math., 46 (1959), 123-134.
[3] K. Gödel, The consistency of the axiom of choice and of generalized continuum hypothesis with the axioms of set theory, Princeton, 1940.
[4] S. C. Kleene, Recursive functionals and quantifiers of finite types I, Trans. Amer. Math. Soc., 91 (1959), 1-52.
[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.
[9] T. Tugué, Predicates recursive in a type-2 object and Kleene hierarchies, Comment. Math. Univ. St. Paul., 8 (1959), 97-117.

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

責任著者(Corresponding author)

訂正情報

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