Intuitionistic analysis and Gödel's interpretation
ジャーナル
フリー
1963 年 15 巻 2 号 p. 101-112
詳細
- Published: 1963 Received: 1962/01/18 Available on J-STAGE: 2006/09/26 Accepted: - Advance online publication: - Revised: -
-
訂正情報
訂正日: 2006/09/26 訂正理由: - 訂正箇所: 引用文献情報 訂正内容: Wrong : 1) G. Gentzen, Untersuchungen über das logische Schliessen, I, Math. Z., 39 176-210,
2) K. Gödel, Über eine bisher noch nicht benützte Erweiterung des finiten Stand-punktes, Bibliothèque Scientifique, 34 Logica (1960), 76-83.
3) S.C. Kleene, Introduction to Metamathematics, Amsterdam, 1952.
4) G. Kreisel, Interpretation of analysis by means of constructive functionals of finite types, Constructivity in Mathematics, Amsterdam (1959), 101-128.
5) G. Kreisel, Inessential extensions of Heyting's arithmetic by means of functionals of finite types, J. Symbolic Logic, 24 (1959), p. 284 (Abstracts of papers).
6) G. Takeuti, On the fundamental conjecture of GLC I, J. Math. Soc. Japan, 7 (1955), 249-275.
Right : [1] G. Gentzen, Untersuchungen über das logische Schliessen, I, Math. Z., 39 176-210,
[2] K. Gödel, Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes, Bibliothèque Scientifique, 34 Logica (1960), 76-83.
[3] S.C. Kleene, Introduction to Metamathematics, Amsterdam, 1952.
[4] G. Kreisel, Interpretation of analysis by means of constructive functionals of finite types, Constructivity in Mathematics, Amsterdam (1959), 101-128.
[5] G. Kreisel, Inessential extensions of Heyting's arithmetic by means of functionals of finite types, J. Symbolic Logic, 24 (1959), p. 284 (Abstracts of papers).
[6] G. Takeuti, On the fundamental conjecture of GLC I, J. Math. Soc. Japan, 7 (1955), 249-275.
訂正日: 2006/09/26 訂正理由: - 訂正箇所: PDFファイル 訂正内容: -
PDFをダウンロード (752K)
メタデータをダウンロード
RIS形式
BIB TEX形式
テキスト
メタデータのダウンロード方法
発行機関連絡先
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
記事の1ページ目
