No.1096

1999/01/11〜1999/01/14

田中　一之、志村　立矢

Kazuyuki Tanaka, Tatsuya Shimura

目　次

1. LKの証明図に関する標準型定理 (2階算術の諸体系の研究)------------------------------------------------------------------------------1

　　　　筑波大学数学研究科　　　池田 一麿　(Ikeda, Kazuma)

　

2. $ATR_0$のモデル論的Ordinal Analysis (2階算術の諸体系の研究)----------------------------------------------------------------------15

　　　　東北大学理学研究科　　　高橋 康博　(Takahashi, Yasuhiro)

　

3. Reverse Mathematics and weak second-order systems of 0-1 strings-----------------------------------------------------------------25

　　　　東北大学理学研究科　　　山崎 武　(Yamazaki, Takeshi)

　

4. COMPLEXITY THEORY AND BOUNDED ARITHMETIC FOR TRULY FEASIBLE COMPUTATION----------------------------------------------------------35

　　　　豊田工業高等専門学校　　　黒田 覚　(Kuroda, Satoru)

　

5. Lagrange-Good Inversion from Trace-----------------------------------------------------------------------------------------------51

　　　　東京大学数理科学研究科　　　長谷川 立　(Hasegawa, Ryu)

　

6. A Study of Abramsky's Linear Chemical Abstract Machine---------------------------------------------------------------------------68

　　　　東京大学理学部/東京大学理学部　　　三上 清光/赤間 陽二　(Mikami, Seikoh/Akama, Yohji)

　

7. 2階算術と有界選択公理 (2階算術の諸体系の研究)------------------------------------------------------------------------------------84

　　　　東北大学理学研究科/東北大学理学研究科　　　田中 一之/山崎 武　(Tanaka, Kazuyuki/Yamazaki, Takeshi)