No.669

1988/05/23〜1988/05/27

上江洲　忠弘

UESU,TADAHIRO

目　次

1. AI$^-_\xi$ の周辺の理論とその証明論的順序数(二階算術の証明論)---------------------------------------------------------------------1

　　　　東京大学　　　志村 立矢　(Shimura, Tatsuya)

　

2. Cut-elimination for SBL----------------------------------------------------------------------------------------------------------16

　　　　名古屋大学理学部　　　新井 敏康　(Arai, Toshiyasu)

　

3. Fixed Point Theory in Weak Second-Order Arithmetic-------------------------------------------------------------------------------44

　　　　Department of Information Science, Tokyo Institute of Technology / Department of Information Science, Tokyo Institute of Technology　　　塩路 直樹 / 田中 一之　(SHIOJI, NAOKI / TANAKA, KAZUYUKI)

　

4. Fundamental sequence の system の性質について(二階算術の証明論)------------------------------------------------------------------78

　　　　広島大学工学部　　　角田 法也　(KADOTA, Noriya)