Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
0912 算術諸体系の不完全性の研究 = Mathematical Incompleteness in Arithmetic
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-9 / 9.
前
1
次
検索結果:
書誌情報
ファイル
表紙・目次
(1995-05)
数理解析研究所講究録, 912
A Relationship among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game, and Buchholz's Hydra Game(Preliminary Report)(Mathematical Incompleteness in Arithmetic)
Hamano, Masahiro; Okada, Mitsuhiro (1995-05)
数理解析研究所講究録, 912: 64-81
A non-standard proof of the Peano existence theorem in WKL$_0$(Mathematical Incompleteness in Arithmetic)
Tanaka, Kazuyuki (1995-05)
数理解析研究所講究録, 912: 57-63
A FORMULA SEPARATING TWO THEORIES(Mathematical Incompleteness in Arithmetic)
Yamaguchi, Takeshi (1995-05)
数理解析研究所講究録, 912: 82-84
数学基礎論入門 : 紹介シリーズ刊行計画について(算術諸体系の不完全性の研究)
倉田, 令二朗 (1995-05)
数理解析研究所講究録, 912: 43-46
FORCING ON A NONSTANDARD MODEL OF ARITHMETIC(Mathematical Incompleteness in Arithmetic)
KURODA, SATORU (1995-05)
数理解析研究所講究録, 912: 47-56
On the Difficulty of Writing Out Formal Proofs in PRA(Mathematical Incompleteness in Arithmetic)
Kashima, Ryo (1995-05)
数理解析研究所講究録, 912: 22-32
Kolmogorov complexity and the second incompleteness theorem(Mathematical Incompleteness in Arithmetic)
KIKUCHI, MAKOTO (1995-05)
数理解析研究所講究録, 912: 33-42
CR of a reduction for classical natural deduction(Mathematical Incompleteness in Arithmetic)
ANDOU, Yuuki (1995-05)
数理解析研究所講究録, 912: 1-21
絞り込み
著者
1
ANDOU, Yuuki
1
Hamano, Masahiro
1
Kashima, Ryo
1
KIKUCHI, MAKOTO
1
KURODA, SATORU
1
Okada, Mitsuhiro
1
Tanaka, Kazuyuki
1
Yamaguchi, Takeshi
1
倉田, 令二朗
発行日
9
1995
資料種別
8
Departmental Bulletin Paper
1
Others