研究集会：モデル理論夏の学校 2019
期間：2019年9月2日（月）午後 ～ 9月4日（水）午前
場所： 東海大学山中湖セミナーハウス
〒401-0501 山梨県南都留郡山中湖村山中323-1 ( Phone 0555-62-4100)
世話役：竹内耕太 (kota@math.tsukuba.ac.jp)，坪井明人 (tsuboi@math.tsukuba.ac.jp)
モデル理論夏の学校は，例年夏に開催される，モデル理論の研究集会です．モデル理論は数理論理学の１分野で，近年数学の各分野から注目を浴びています．今年も昨年と同様に，山中湖セミナーハウス（東海大学）で開かれます．モデル理論に興味のある幅広い分野の方を歓迎します．
参加希望者は世話人（上記）まで以下の情報をご連絡ください（8月10日締め切り）：
- 氏名
- 所属
- 講演希望か否か．希望の場合は講演（仮）タイトル
- 参加予定期間
- セミナーハウスに宿泊するか否か
[以下セミナーハウスに宿泊する場合]
性別（部屋割りのため）
宿泊希望日（２日夜、３日夜）
プログラム (随時更新)
9月2日
13:50 事務連絡
14:00 -- 14:40 川上智博 Simultaneously definable C^r G compactification
14:50 -- 15:30 池田宏一朗 Sudoplatov's examples
15:40 -- 16:10 田中修 Countable models of set theory （学生発表）
16:20 -- 16:50 向川原弘明 Kim-forking = Kim-dividing in NSOP_1 theory （学生発表）
9月3日
9:20 -- 9:40 小峰航 実代数幾何学の初歩 （学生発表）
9:40 -- 10:00 船井龍 TBA （学生発表）
10:10 -- 10:40 板井昌典 超準級数 (Transseries)のモデル理論
10:40 -- 11:10 板井昌典 モデル理論的ヒルベルト第５問題
11:20 -- 12:00 池田一磨 On Π1n+1-conservativity for Π1n+2-theories
昼食休憩 (+ Group Photo Session)
14:00 -- 14:40 福崎賢治 代数的整数環の非決定性
14:50 -- 15:30 桔梗宏孝 Simplicity of automorphism groups of Hrushovski's pseudoplanes in rational cases
Coffee Break
16:00 -- 17:00 Open Problem Session
9月4日
8:40 -- 9:20 竹内耕太 On isomorphic submodels of arithmetic
9:30 -- 10:10 荒武永史 Categorical Interpretation of Model-Theoretic Galois Theory
10:20 -- 11:00 前園 久智 On locally o-minimal structures
11:10 -- 11:40 坪井明人 Compactness arguments for finite structures
Closing Remarks
参加予定者 as of Aug. 16
竹内耕太（筑波大学）
坪井明人（筑波大学）
板井昌典（東海大学）
荒武永史（京都大学）
池田宏一朗（法政大学）
川上智博（和歌山大学）
田中修（筑波大学）
若井健太郎（東海大学）
向川原弘明（筑波大学）
青山 昂頌（大阪大学）
船井龍 （筑波大学）
小峰 航 （埼玉大学）
福崎賢治 （鹿児島国際大学）
池田一磨 （杏林大学）
村上 雅彦 （東京医科大学）
前園 久智 （早稲田大学）
大貫紘嵩 （東京大学）
桔梗宏孝 （神戸大学）
新井 広（高知工科大学）
内藤丈博（高円寺理数塾）