No.847

1993/01/11〜1993/01/13

田中 一之

Kazuyuki Tanaka

目　次

1. A NORMALIZATION-PROCEDURE FOR THE FIRST ORDER CLASSICAL NATURAL DEDUCTION WITH FULL LOGICAL SYMBOLS-------------------------------1

　　　　Institute of Mathematics, University of Tsukuba　　　安東 祐希　(ANDOU, YUUKI)

　

2. Contraction-Elimination Theorem--------------------------------------------------------------------------------------------------10

　　　　東京工業大学理学部情報科学科　　　鹿島 亮　(Kashima, Ryo)

　

3. Subrecursion theory における dilation について(証明論と逆数学)-------------------------------------------------------------------35

　　　　熊本大学工学部　　　角田 法也　(Kadota, Noriya)

　

4. Berry's paradox and the incompleteness theorem-----------------------------------------------------------------------------------56

　　　　東北大学理学部　　　菊池 誠　(KIKUCHI, MAKOTO)

　

5. PA 上の non-principal prime filter quantifier の強さについて(証明論と逆数学)-----------------------------------------------------61

　　　　日本大学理工学部　　　志村 立矢　(SHIMURA, Tatsuya)

　

6. Large Set Principles and Well-founded Principles---------------------------------------------------------------------------------68

　　　　下関市立大学　　　下田 守　(SHIMODA, Mamoru)

　

7. 切断除去による計算可能性の証明(証明論と逆数学)-----------------------------------------------------------------------------------78

　　　　東北大学大学院理学研究科　　　竹内 泉　(Takeuti, Izumi)

　

8. 2階算術の諸体系:モデル論的手法による分析 その2(証明論と逆数学)-------------------------------------------------------------------94

　　　　東北大学理学部数学科　　　田中 一之　(Tanaka, Kazuyuki)