研究集会スケジュール
「モデル理論とその応用」研究集会
「モデル理論とその応用」研究集会
● 期間： 2023年3月28 日（木） -- 3月30日（土）
● 場所：高知工科大学永国寺キャンパス 地域連携棟 B206 科大学永国寺キャンパス 高知工科大学永国寺キャンパス 地域連携棟 B2
1 日目
[２０２４年３月２８日（木）]
[２０２４年３月２８日（木）]
14:00 ～ 14:10
開会・注意事項
開会・注意事項
14:15 ～ 15:00
Koichiro Ikeda, On finite-variable infinite logics
Koichiro Ikeda, On finite-variable infinite logics
15:15～ 16:00
Hirotaka Kikyo, On some generic structures with SOP3 I
16:15 ～ 17:00
Kenji Fukuzaki, Definability of powers of elements I
17:10 ～ 17:40
Problem Session
2 日目
[２０２４年３月２９日（金）]
[２０２４年３月２９日（金）]
9:00 ～ 9:45
Akito Tsuboi, Spectrum of finite models
Akito Tsuboi, Spectrum of finite models
10:00 ～ 10:45
Koki Okura, C, VC, and dp-minimality on the p-adic numbers I
Koki Okura, C, VC, and dp-minimality on the p-adic numbers I
11:00 ～ 11:45
Koichiro Ikeda, A remark on 0-1 laws
Koichiro Ikeda, A remark on 0-1 laws
昼食休憩 11:45 ～ 13:30
13:30 ～ 14:15
Hirotaka Kikyo, On some generic structures with SOP3 II
14:30 ～ 15:15
Kenji Fukuzaki, Definability of powers of elements II
15:15 ～ 15:45
Coffee Break
Coffee Break
15:45 ～ 16:30
Problem Session
Problem Session
3 日目
[２０２４年３月３０日（土）]
[２０２４年３月３０日（土）]
9:00 ～ 9:45
Akito Tsuboi, Spectrum of finite models II
Akito Tsuboi, Spectrum of finite models II
10:00 ～ 10:45
Koki Okura, C, VC, and dp-minimality on the p-adic numbers II
Koki Okura, C, VC, and dp-minimality on the p-adic numbers II
11:00 ～ 11:45
Problem Session
Problem Session
11:45 ～ 12:00
閉会・注意
閉会・注意