一階算術・二階算術とラムゼイの定理

• Date/Time: May 25, 2018 (Friday) / 16:00 - 17:00

• Speaker: 横山 啓太 氏 (北陸先端科学技術大学院大学)

• Venue: Rm 1201, Science Complex A, Tohoku Univ.

• Abstract: ラムゼイの定理は算術において様々な角度から研究されている。有限ラムゼイの定理の亜種であるパリス-ハーリントンの命題はペアノ算術から独立な命題の例としてよく知られている。一方、無限ラムゼイの定理の強さは二階算術において逆数学の立場から深く研究されている。本講演では諸種の有限ラムゼイの定理と無限ラムゼイの定理の関係性について算術の証明論・モデル理論の両面から比較し、関連する最近の結果について紹介する。