Collection home page

Mathematical Incompleteness in Arithmetic   9

List Of Items (Sorted by table of contents in Ascending order): 1 to 9 of 9
  数理解析研究所講究録, 912
file type icon
CR of a reduction for classical natural deduction(Mathematical Incompleteness in Arithmetic)
  ANDOU, Yuuki (1995-05)
  数理解析研究所講究録, 912: 1-21
file type icon
On the Difficulty of Writing Out Formal Proofs in PRA(Mathematical Incompleteness in Arithmetic)
  Kashima, Ryo (1995-05)
  数理解析研究所講究録, 912: 22-32
file type icon
Kolmogorov complexity and the second incompleteness theorem(Mathematical Incompleteness in Arithmetic)
  KIKUCHI, MAKOTO (1995-05)
  数理解析研究所講究録, 912: 33-42
file type icon
数学基礎論入門 : 紹介シリーズ刊行計画について(算術諸体系の不完全性の研究)
  倉田, 令二朗 (1995-05)
  数理解析研究所講究録, 912: 43-46
file type icon
FORCING ON A NONSTANDARD MODEL OF ARITHMETIC(Mathematical Incompleteness in Arithmetic)
  KURODA, SATORU (1995-05)
  数理解析研究所講究録, 912: 47-56
file type icon
A non-standard proof of the Peano existence theorem in WKL$_0$(Mathematical Incompleteness in Arithmetic)
  Tanaka, Kazuyuki (1995-05)
  数理解析研究所講究録, 912: 57-63
file type icon
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
file type icon
A FORMULA SEPARATING TWO THEORIES(Mathematical Incompleteness in Arithmetic)
  Yamaguchi, Takeshi (1995-05)
  数理解析研究所講究録, 912: 82-84
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 9 of 9