Recursive progression of intuitionistic number theories

Reijiro KURATA

doi:10.2969/jmsj/01720140

Reijiro KURATA

著者情報

ジャーナルフリー

1965 年 17 巻 2 号 p. 140-166

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

詳細

Published: 1965 Received: 1964/01/06 Available on J-STAGE: 2006/09/26 Accepted: - Advance online publication: - Revised: -
訂正情報
訂正日: 2006/09/26 訂正理由: - 訂正箇所: 論文受付日訂正内容: 訂正前 : 19640606
訂正後 : 19640106

訂正日: 2006/09/26 訂正理由: - 訂正箇所: 引用文献情報訂正内容: Wrong : 1) S. Feferman, Transfinite recursive progression of Axiomatic theories (1960), J. Symbolic Logic, 27 (1962), 259-316.
2) S. Kleene, Introduction to Metamathematics (1952), North Holland Publishing Co., Amsterdam.
3) M. Yasugi, Intuitionistic analysis and Gödel's interpretation. Reports, Symposium of Metamathematics at Tokyo Metropolitan University (1961).
4) M. Yasugi, Intuitionistic analysis and Gödel's interpretation, J. Math. Soc. Japan 15 (1963), 101-112.
5) K. Gödel, Über eine bisher noch nicht benützte Erweiterung des finiten Stand-punktes, Bibliothèque Scientifique 34, Logica (1960), 76-83.
6) G. Kreisel, Interpretation of analysis by means of constructive functionals of finite types, Constructivity in Mathematics, Amsterdam (1959), 101-128.
7) W. Craig, On axiomatizability with in a system, J. Symbolic Logic, 18 (1953), 30-32.
8) J. B. Rosser, Gödel theorems for non constructive logics, J. Symbolic Logic, 2 (1937), 129-137.
9) Hilbert Bernays, Grundlagen der Mathematik II.
10) S. Feferman, Arithmetization of metamathematics in a general setting, Fund. Math., 49 (1960), 35-92.
11) G. Gentzen, Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie, Math. Ann., 119 (1943), 140-161.
12) K. Gödel, Zur intuitionistischen Arithmetik und Zahlentheorie, Ergebnisse eines math. Koll., 4 (1932), 34-38.
13) T. Nishimura, On Gödel's theorem, J. Math. Soc. Japan, 13 (1961), 1-12.
14) T. Nishimura, Consistency and impredicative statements, Ann. Japan Assoc. Philos. Sci. 2 (1963), 14-26.
15) A. Mostowski, Some impredicative definitions in the axiomatic set-theory, Fund. Math., 37 (1950), 111-124.
16) H. Wang, Truth definitions and consistency proofs, Trans. Amer. Math. Soc., 73 (1952), 243-275.
17) G. Kreisel, On the interpretation of non finitist proofs part I, II, J. Symolic Logic, 16 (1951), 241-267 and 17 (1952), 43-58.

Right : [1] S. Feferman, Transfinite recursive progression of Axiomatic theories (1960), J. Symbolic Logic, 27 (1962), 259-316.
[2] S. Kleene, Introduction to Metamathematics (1952), North Holland Publishing Co., Amsterdam.
[3] M. Yasugi, Intuitionistic analysis and Gödel's interpretation. Reports, Symposium of Metamathematics at Tokyo Metropolitan University (1961).
[4] M. Yasugi, Intuitionistic analysis and Gödel's interpretation, J. Math. Soc. Japan 15 (1963), 101-112.
[5] K. Gödel, Über eine bisher noch nicht benützte Erweiterung des finiten Stand-punktes, Bibliothèque Scientifique 34, Logica (1960), 76-83.
[6] G. Kreisel, Interpretation of analysis by means of constructive functionals of finite types, Constructivity in Mathematics, Amsterdam (1959), 101-128.
[7] W. Craig, On axiomatizability with in a system, J. Symbolic Logic, 18 (1953), 30-32.
[8] J. B. Rosser, Gödel theorems for non constructive logics, J. Symbolic Logic, 2 (1937), 129-137.
[9] Hilbert Bernays, Grundlagen der Mathematik II.
[10] S. Feferman, Arithmetization of metamathematics in a general setting, Fund. Math., 49 (1960), 35-92.
[11] G. Gentzen, Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie, Math. Ann., 119 (1943), 140-161.
[12] K. Gödel, Zur intuitionistischen Arithmetik und Zahlentheorie, Ergebnisse eines math. Koll., 4 (1932), 34-38.
[13] T. Nishimura, On Gödel's theorem, J. Math. Soc. Japan, 13 (1961), 1-12.
[14] T. Nishimura, Consistency and impredicative statements, Ann. Japan Assoc. Philos. Sci. 2 (1963), 14-26.
[15] A. Mostowski, Some impredicative definitions in the axiomatic set-theory, Fund. Math., 37 (1950), 111-124.
[16] H. Wang, Truth definitions and consistency proofs, Trans. Amer. Math. Soc., 73 (1952), 243-275.
[17] G. Kreisel, On the interpretation of non finitist proofs part I, II, J. Symolic Logic, 16 (1951), 241-267 and 17 (1952), 43-58.

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

責任著者(Corresponding author)

訂正情報

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