数理論理学の様々な分野に関して，現代的な観点に基づくレクチャーを実施し，次世代を担う若手研究者の育成を行い，これらの分野の裾野を広げることを目的としています．
場所: 沖縄県青年会館 2F 梯梧の間
日時 2023年2月20日〜2月24日
2月20日10時 Opening -- 2月24日 17時 Closing
参加申込は既に締め切りました．
2月20日10時 Opening -- 2月24日 17時 Closing
アブストラクトはこちら
2/20 (月)
10:00- Opening
10:30-12:00 石原 哉 構成的数学の世界 1. 構成的論理 [slides]
(Lunch Time)
14:00-15:30 横山啓太 算術の超準モデル論 1. 指標関数と2階算術
16:00-17:30 荒武永史 圏論的論理学 1. 圏論的一階述語論理 (1)
2/21 (火)
9:30-10:15 木原貴行 計算可能性理論 1. 計算可能性理論の舞台 [slides]
10:30-12:00 石原 哉 構成的数学の世界 2. 構成的集合論 [slides]
(Lunch Time)
14:00-15:30 横山啓太 算術の超準モデル論 2. WKLにまつわる同型定理
16:00-17:30 荒武永史 圏論的論理学 2. 圏論的一階述語論理 (2)
2/22 (水)
9:30-10:15 木原貴行 計算可能性理論 2. 計算可能性理論における空間 [slides]
10:30-12:00 石原 哉 構成的数学の世界 3. 構成的解析学 [slides]
(Lunch Time)
14:00-15:30 藤田博司 実効記述集合論 1. ポーランド空間とボレル集合族
16:00-17:30 荒武永史 圏論的論理学 3. 高階直観主義論理とトポス
2/23 (木)
9:30-10:15 木原貴行 計算可能性理論 3. 計算可能性理論における逆数学 [slides]
10:30-12:00 石原 哉 構成的数学の世界 4. 構成的逆数学 [slides]
(Lunch Time)
14:00-15:30 藤田博司 実効記述集合論 2. 解析集合とススリンの定理
16:00-17:30 荒武永史 圏論的論理学 4. 圏論的論理学の拡がり
2/24 (金)
9:30-10:15 木原貴行 計算可能性理論 4. 計算可能性理論のトポス [slides]
10:30-12:00 藤田博司 実効記述集合論 3. \Pi^1_1 の理論
(Lunch Time)
14:00-15:30 藤田博司 実効記述集合論 4. ルヴォの分離定理
16:00-16:15 (Short Talk 1) 東条 敏 近傍論理を用いた知識と信念の表現
16:20-16:35 (Short Talk 2) 鈴木悠大 コンパクト性定理の逆数学への応用
16:40-16:55 (Short Talk 3) 市川航士郎 Π^1_2-logicについて
17:00 Closing
木原 貴行（名古屋大学）
渡部 耀介（名古屋大学）
[手伝い] 加田直希（名大M2） 橋本航気（名大M1） 奥田壮一郎（名大M1）
本スクールは JSPS二国間交流事業（共同研究）「実効記述集合論，計算可能解析学 および オートマトン理論」(JPJSBP120204809) の助成を受けて実施されています．
プロジェクトメンバー
Matthew de Brecht (京都大学) 河村 彰星 (京都大学) 木原 貴行 (名古屋大学) 根元 多佳子 (広島工業大学) 小川 瑞史 (JAIST) Sewon Park (京都大学) 新屋 良磨 (秋田大学) 横山 啓太 (東北大学)