Collection home page

1096 2階算術の諸体系の研究   8
(http://hdl.handle.net/2433/61397)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 8 of 8
BibliographyContents
表紙・目次
   (1999-04)
  数理解析研究所講究録, 1096
file type icon
LKの証明図に関する標準型定理 (2階算術の諸体系の研究)
  池田, 一麿 (1999-04)
  数理解析研究所講究録, 1096: 1-14
file type icon
$ATR_0$のモデル論的Ordinal Analysis (2階算術の諸体系の研究)
  高橋, 康博 (1999-04)
  数理解析研究所講究録, 1096: 15-24
file type icon
Reverse Mathematics and weak second-order systems of 0-1 strings
  Yamazaki, Takeshi (1999-04)
  数理解析研究所講究録, 1096: 25-34
file type icon
COMPLEXITY THEORY AND BOUNDED ARITHMETIC FOR TRULY FEASIBLE COMPUTATION
  Kuroda, Satoru (1999-04)
  数理解析研究所講究録, 1096: 35-50
file type icon
Lagrange-Good Inversion from Trace
  Hasegawa, Ryu (1999-04)
  数理解析研究所講究録, 1096: 51-67
file type icon
A Study of Abramsky's Linear Chemical Abstract Machine
  Mikami, Seikoh, Akama, Yohji (1999-04)
  数理解析研究所講究録, 1096: 68-83
file type icon
2階算術と有界選択公理 (2階算術の諸体系の研究)
  田中, 一之, 山崎, 武 (1999-04)
  数理解析研究所講究録, 1096: 84-88
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 8 of 8