基本情報(Basic Information)
基本情報(Basic Information)
日時: 毎週金曜日 15:00 ~
Date: Fridays 15:00~開催場所: 東北大学理学研究科合同A棟 801号室 (場合によりZoom等で実施)
Venue: Tohoku university, Science department, Complex A, 801 (and online via zoom)
過去のセミナー情報については，こちらよりご覧ください
For information of past seminars: here
研究活動の記録については，こちらよりご覧ください
For information of research activities: here
今後のセミナー情報(Future schedule)
2025.04.18 Yuto Takeda (Tohoku University)
2025.04.18 Yuto Takeda (Tohoku University)
Title: Modal logic in second-order arithmetic
Venue: Complex A 801
Time: 15:00-
Abstract: 逆数学は数学の諸定理を公理系との導出関係に着目して分析・分類する学問である. 逆数学で扱う数学の対象は多岐にわたり, その中にはロジック自身も含まれる. ロジックの逆数学的分析としては, S.SimpsonによるGödelの完全性定理とWKL_0のRCA_0上における同値性やT.Yamazakiによる直観主義論理のKripke強完全性定理とACA_0のRCA_0上における同値性などが知られている. 本発表では逆数学の紹介を行うとともに, 完全性定理を中心とした様相論理の諸定理の逆数学的分析について, 判明しているいくつかの結果と今後の展望について解説する.