Logic Winter School

@沖縄県青年会館 2023.02.20-24

ロジック・ウィンタースクールとは

数理論理学の様々な分野に関して，現代的な観点に基づくレクチャーを実施し，次世代を担う若手研究者の育成を行い，これらの分野の裾野を広げることを目的としています．

場所: 沖縄県青年会館 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

運営委員

関連プロジェクト

本スクールは JSPS二国間交流事業（共同研究）「実効記述集合論，計算可能解析学 および オートマトン理論」(JPJSBP120204809) の助成を受けて実施されています．