Kyoto University Research Information Repository: 検索

検索

検索結果表示: 1-8 / 8.

検索結果:

書誌情報	ファイル
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