Model Theory Summer School 2020
研究集会：モデル理論夏の学校２０２０
- 期間：2020年9月9日（水）午後～9月11日（金）午前
- 諸般の事情によりオンライン開催に変更します。
- 世話人：桔梗宏孝
(kikyo[at]kobe-u.ac.jp)
モデル理論夏の学校は例年夏に開催されるモデル理論の研究集会です．モデル理論は数理論理学の１分野で，近年数学の各分野から注目を浴びています．モデル理論に興味のある幅広い分野の方を歓迎します．
参加申し込み：
参加希望者は世話人（上記）まで以下の情報をご連絡ください：
- 氏名
- 所属
- 講演希望かどうか. 希望の場合は講演題目（仮で結構です）
参加申し込みをされた方にオンラインの情報をお送りしました．届いてない場合はご連絡願います．
申し込み期限：
2020年8月31日（月）
プログラム
プログラムは変更の可能性があります.
9月9日（水）
- 13:20 諸注意
- 13:30 池田宏一郎, Groups in generic structures (1)
- 14:00 質疑, 休憩
- 14:10 池田宏一郎, Groups in generic structures (2)
- 14:40 質疑, 休憩
- 15:00 小峰 航, O-minimal structureの基本
- 15:30 質疑, 休憩
- 15:50 板井昌典, Chowの定理についてのモデル理論的考察 (1)
- 16:20 質疑, 休憩
- 16:30 板井昌典, Chowの定理についてのモデル理論的考察 (2)
- 17:00 質疑
9月10日（木）
- 9:30 新屋良磨, 算術で強化したオートマトンと言語の有理性・代数性
- 10:00 質疑, 休憩
- 10:20 竹内耕太, Sub-additivity of model theoretic invariants (1)
- 10:50 質疑, 休憩
- 11:00 竹内耕太, Sub-additivity of model theoretic invariants (2)
- 11:30 質疑, 昼休み
- 13:30 福崎賢治, Totally algebraic integer rings are undecidable (1)
- 14:00 質疑, 休憩
- 14:10 福崎賢治, Totally algebraic integer rings are undecidable (2)
- 14:40 質疑, 休憩
- 15:00 船井 龍, TBA
- 15:30 質疑, 休憩
- 15:50 坪井明人, Fraïssé limit and Coloring (1)
- 16:20 質疑, 休憩
- 16:30 坪井明人, Fraïssé limit and Coloring (2)
- 17:00 質疑
9月11日（金）
- 9:30 桔梗宏孝, On automorphism groups of generic structures (1)
- 10:00 質疑, 休憩
- 10:10 桔梗宏孝, On automorphism groups of generic structures (2)
- 10:40 質疑, 休憩
- 11:00 荒武永史, Sheaves and Heyting-Valued Models
- 11:30 質疑, 閉会
参加予定者(*は講演予定者)
(9/1現在)
- 池田宏一郎*（法政大学）
- 板井昌典*（東海大学）
- 福崎賢治*（鹿児島国際大学）
- 坪井明人*（筑波大学）
- 竹内耕太*（筑波大学）
- 荒武永史* (京都大学)
- 桔梗宏孝*（神戸大学）
- 新屋良磨* (秋田大学)
- 船井 龍*(筑波大学)
- 小峰 航*(筑波大学)
- 佐藤信二
- 川上智博(和歌山大学)
- 石原豪人
- 村上 雅彦(東京医科大学)
- 塩谷賢(早稲田大学)
- 江田勝哉
- 今村拓万(京都大学)
- 南雲 彰
- 島 武史(筑波大学)
- 時崎理志(筑波大学)
- 大崎稜治(筑波大学)
- 鈴木遼平(筑波大学)
- 黒川英徳(金沢大学)
- 池田一磨(杏林大学)
- 若井健太郎(静岡大学)
- 池上蒔典
- 前園久智(早稲田大学)
最終更新:
2020年9月1日