数学基礎論サマースクール
２０２２
2022年の数学基礎論サマースクールのテーマは「モデル理論」です．言語/構造のモデル理論の初歩からモデル理論の幾つかの応用までを紹介します．モデル理論に興味がある大学学部生にも理解して頂ける内容を目指します．
日程：9/7（水），8（木），9（金）の連続3日間でZOOM開催致します．
開催委員：池田宏一郎（法政大学）桔梗宏孝（神戸大学）竹内耕太（筑波大学）米田郁生（徳山高専）
参加申し込みフォーム：フォームからの申し込みは締め切りました。参加希望の方は以下の連絡先までどうぞ。
連絡先：竹内耕太 kota@math.tsukuba.ac.jp
Link: 過去の基礎論サマースクール 数学基礎論サマースクール (mathsoc.jp)
参考入門書：数理論理学の基礎・基本，坪井明人著，牧野書店
「講義コース」コマ数，講演者名, 資料リンク, (Keywords）（1コマ＝講義40分＋質疑応答10分＋休憩10分）
「初めてのモデル理論」3コマ，坪井明人：講義スライド（Compactness Theorem, Löwenheim-Skolem Theorem, Definable sets, Automorphisms, Categoricity)
「0-1法則とモデル理論」3コマ，池田宏一郎：講演スライド（0-1法則，ランダムグラフ，Faginの定理，可算範疇性）
「モデル理論的ガロア理論入門」3コマ，竹内耕太：講演スライド（ガロア対応、同型写像、big model、基本写像(elementary map), 仮想元消去(elimination of imaginaries) )
「代数とモデル理論」3コマ，桔梗宏孝：講演スライド1, 2, 3（完全性, モデル完全性, 体の理論, ヒルベルトの零点定理, Axの定理）
「幾何的モデル理論：linearityの紹介」1コマ，米田郁生（Modularity, Local modularity, Weakly local modularity, Generic linearity, Linearity）講演スライド
プログラム
9月7日水曜日
12:45-13:00 オープニング & 諸連絡
13:00-13:40 初めてのモデル理論1 坪井
14:00-14:40 0-1 lawとモデル理論1 池田
15:00-15:40 初めてのモデル理論2 坪井
16:00-16:40 0-1 lawとモデル理論2 池田
9月8日木曜日
09:00-09:40 初めてのモデル理論3 坪井
10:00-10:40 代数とモデル理論1 桔梗
11:00-11:40 0-1 lawとモデル理論3 池田
昼休み
14:00-14:40 代数とモデル理論2 桔梗
15:00-15:40 モデル理論的ガロア理論1 竹内
16:00-16:40 代数とモデル理論3 桔梗
9月9日金曜日
9:00-9:40 モデル理論的ガロア理論2 竹内
10:00-10:40 幾何的モデル理論：linearityの紹介 米田
11:00-11:40 モデル理論的ガロア理論3 竹内