Model Theory workshop 2019 at yamanakako
- September 2, 2019 (Monday) to September 4, (Wednesday)
- Tokai University Yamanakako Seminar House
- 323-1 Yamanaka, Yamanakako-mura, Minamitsuru-gun, Yamanashi 401-0501 (Phone 0555-62-4100)
Contact: Kota Takeuchi (kota@math.tsukuba.ac.jp), Akito Tsuboi tsuboi@math.tsukuba.ac.jp)
Model theory is a branch of mathematical logic and has recently attracted attention from various fields of mathematics. This model theory workshop is held every summer, and this summer it will be held at Yamanakako Seminar House (Tokai University). A wide range of people interested in model theory are welcome.
If you wish to participate, please contact us (above mentioned) with the following information (deadline: August 10):
Your name; Affiliation; Whether you would like to give a talk; Expected participation period.
We have a limited amount of grant for travel expenses of participants. Please contact us if you need financial support for travel expenses.
For details about the accommodation fee, please visit the seminar house website or ask us. (In the case of a quadruple room, the payment of each person will be 5500 yen with 2 meals per night).
Program (subject to updating)
September 2
13:50 Opening Remarks
14:00-14:40 Tomohiro Kawakami, Simultaneously definable C ^ r G compactification
14:50-15:30 Koichiro Ikeda, Sudoplatov's examples
15:40-16:10 Shu Tanaka, Countable models of set theory (Student presentation session)
16:20-16:50 Hiroaki Mukaigawara, Kim-forking = Kim-dividing in NSOP_1 theory (Student presentation session)
September 3
9:20- 9:40 Wataru Komine, First step in real algebraic geometry (student presentation session)
9:40-10:00 Ryu Funai ,TBA (Student presentation session)
10:10-10:40 Masanori Itai, Model theory of transseries
10:40-11:10 Masanori Itai, Model theoretic aspect of Hilbert 5th problem
11:20-12:00 Kazuma Ikeda, On Π1n+1-conservativity for Π1n+2-theories
Lunch break (+ Group Photo Session)
14:00-14:40 Kenji Fukuzaki, Undecidability of algebraic integer rings
14:50-15:30 Hirotaka Kikyo, Simplicity of automorphism groups of Hrushovski's pseudoplanes in rational cases
Coffee break
16:00-17:00 Open Problem Session
September 4
8:40-9:20 Kota Takeuchi, On isomorphic submodels of arithmetic
9:30-10:10 Hisashi Aratake, Categorical Interpretation of Model-Theoretic Galois Theory
10:20-11:00 Hisatomo Maesono, On locally o-minimal structures
11:10-11:40 Akito Tsuboi, Compactness arguments for finite structures
Closing Remarks
参加予定者 as of Aug. 16
竹内耕太（筑波大学）
坪井明人（筑波大学）
板井昌典（東海大学）
荒武永史（京都大学）
池田宏一朗（法政大学）
川上智博（和歌山大学）
田中修（筑波大学）
若井健太郎（東海大学）
向川原弘明（筑波大学）
青山 昂頌（大阪大学）
船井龍 （筑波大学）
小峰 航 （埼玉大学）
福崎賢治 （鹿児島国際大学）
池田一磨 （杏林大学）
村上 雅彦 （東京医科大学）
前園 久智 （早稲田大学）
大貫紘嵩 （東京大学）
桔梗宏孝 （神戸大学）
新井 広（高知工科大学）
内藤丈博（高円寺理数塾）