訂正日: 2006/09/29訂正理由: -訂正箇所: 論文タイトル訂正内容: Wrong : A theorem on the second-order arithmetic with the ω-rule Right : A theorem on the second-order arithmetic with the ω-rule*)
訂正日: 2006/09/29訂正理由: -訂正箇所: 引用文献情報訂正内容: Wrong : 1) A. Grzegorczyk, A. Mostowski and C. Rull-Nardzewski, The Classical and the ω-complete arithmetic, J. Symbolic Logic, 23 (1958), 188-206. 2) S.C. Kleene, Introduction to metamathematics, New York, Amsterdam and Groningen (1952). 3) J.R. Shoenfield, On a restricted ω-rule, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys., 7 (1959), 405-407. 4) H. Tanaka, On the HA-restricted ω-rule, mimeographed. 5) E.G.K. Lopez-Escobar, A complete, infinitary axiomatization of weak second-order logic, Fund. Math., 61 (1967), 93-103. 6) E.G.K. Lopez-Escobar, Remarks on an infinitary language with constructive formulas, J. Symbolic Logic, 32 (1967), 305-318.
Right : [1] A. Grzegorczyk, A. Mostowski and C. Rull-Nardzewski, The Classical and the ω-complete arithmetic, J. Symbolic Logic, 23 (1958), 188-206. [2] S. C. Kleene, Introduction to metamathematics, New York, Amsterdam and Groningen (1952). [3] J. R. Shoenfield, On a restricted ω-rule, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys., 7 (1959), 405-407. [4] H. Tanaka, On the HA-restricted ω-rule, mimeographed. [5] E. G. K. Lopez-Escobar, A complete, infinitary axiomatization of weak second-order logic, Fund. Math., 61 (1967), 93-103. [6] E. G. K. Lopez-Escobar, Remarks on an infinitary language with constructive formulas, J. Symbolic Logic, 32 (1967), 305-318.