モデル理論夏の学校2021
2021 Model Theory Workshop
「モデル理論夏の学校」は,毎年夏に開催されるモデル理論の研究集会です.
日程:2021年9月5日 (日)~ 7日(火)
開催形式:オンライン(Zoom)
世話人:池田宏一郎(法政大学,ikeda(at)hosei.ac.jp)
補足:Zoomのログイン情報をメールしました.まだ届いていない場合は池田までご連絡ください.
プログラム
5日午後(座長 福崎)
14:00-14:20 事務連絡
14:30-14:50 小峰航(筑波大)Definably complete locally o-minimal structure
15:00-15:20 藤田雅人(海上保安大)川上智博(和歌山大)Definably complete locally o-minimal structure having bounded definable multiplication I (1)
15:30-15:50 藤田雅人(海上保安大)川上智博(和歌山大)Definably complete locally o-minimal structure having bounded definable multiplication I (2)
16:00-16:20 竹内耕太(筑波大)Amalgamation properties of some classes of groups(1)
16:30-16:50 竹内耕太(筑波大)Amalgamation properties of some classes of groups(2)
6日午前(座長 坪井)
10:00-10:20 荒武永史(京大数理研) Sheaf Representation and Model-Completeness
10:30-10:50 村上雅彦(東京医大) A primitive set theory for nonstandard analysis
11:00-11:20 福崎賢治(鹿児島国際大)A proof of undecidability of rings of totally real integers(1)
11:30-11:50 福崎賢治(鹿児島国際大)A proof of undecidability of rings of totally real integers(2)
6日午後(座長 竹内)
14:00-14:20 東俊吾(筑波大)DCF_0のω-stabilityと微分閉包について
14:30-14:50 坪井明人(筑波大*)Torsion free groups and model completeness
15:00-15:20 坪井明人(筑波大*)Some remarks on locally o-minimal structures
15:30-15:50 鈴木遼平(筑波大)算術と有限集合論の翻訳可能性
16:00-16:20 桔梗宏孝(神戸大)Hrushovskiの擬平面に関する技術的なこと(1)
16:30-16:50 桔梗宏孝(神戸大)Hrushovskiの擬平面に関する技術的なこと(2)
7日午前(座長 桔梗)
10:00-10:20 後藤達哉(名古屋大)超冪の同型と基数不変量
10:30-10:50 青木悠史郎(静岡大)強制拡大における実数体の超冪のベータ1性
11:00-11:20 池田宏一郎(法政大)ジェネリック構造の中の群(1)
11:20-11:50 池田宏一郎(法政大)ジェネリック構造の中の群(2)