｢モデル理論夏の学校｣は，毎年夏に開催されるモデル理論の研究集会です．

• 日程：２０２１年９月５日 （日）～ ７日（火）

• 開催形式：オンライン（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 (１)

15:30-15:50 藤田雅人（海上保安大）川上智博（和歌山大）Definably complete locally o-minimal structure having bounded definable multiplication I (２）

16:00-16:20 竹内耕太（筑波大）Amalgamation properties of some classes of groups（１）

16:30-16:50 竹内耕太（筑波大）Amalgamation properties of some classes of groups（２）

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（１）

11:30-11:50 福崎賢治（鹿児島国際大）A proof of undecidability of rings of totally real integers（２）

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の擬平面に関する技術的なこと（１）

16:30-16:50 桔梗宏孝（神戸大）Hrushovskiの擬平面に関する技術的なこと（２）

7日午前（座長 桔梗）

10:00-10:20 後藤達哉（名古屋大）超冪の同型と基数不変量

10:30-10:50 青木悠史郎（静岡大）強制拡大における実数体の超冪のベータ1性

11:00-11:20 池田宏一郎（法政大）ジェネリック構造の中の群（１）

11:20-11:50 池田宏一郎（法政大）ジェネリック構造の中の群（２）