日程：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 竹内