研究集会スケジュール
「モデル理論とその応用」研究集会
「モデル理論とその応用」研究集会
● 期間: 2023年3月28 日(木) -- 3月30日(土)
● 場所:高知工科大学永国寺キャンパス 地域連携棟 B206 科大学永国寺キャンパス 高知工科大学永国寺キャンパス 地域連携棟 B2
1 日目
[2024年3月28日(木)]
[2024年3月28日(木)]
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 日目
[2024年3月29日(金)]
[2024年3月29日(金)]
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 日目
[2024年3月30日(土)]
[2024年3月30日(土)]
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
閉会・注意
閉会・注意