Research Institute for Mathematical Sciences

2017 RIMS Model Theory Workshop

Model theoretic aspects of the notion of independence and dimension

This workshop, sponsored by the RIMS, will be devoted to the study of model theory, especially model theoretic notion of independence and related topics.

• Dec. 4 (Mon) -- Dec. 6 (Wed), 2017

• Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606-8502, Japan

• Location: Rm 110

• Organizer: Akito Tsuboi (University of Tsukuba)

Contact:  If you wish to attend the meeting please contact the organizer (tsuboi(at)math.tsukuba.ac.jp). 

Program

Dec. 4 (Mon)  

• 13:00- Opening Remarks

•  Afternoon Session. Chair: Hirotaka Kikyo (Kobe University)

• 13:10-14:00 Tomohiro Kawakami (Wakayama University), "Every strongly definable $C^r G$ vector bundle admits  a unique strongly definable $C^{\infty} G$ vector bundle structure"

• 14:10-15:00 Kenji Fukuzaki (International University of Kagoshima), "Beth definability theorem and undecidability"

• 15:10-16:00 Koichiro Ikeda (Hosei University), "On stable theories with a powerful type"

• 16:10 -17:00  Keishi Okamoto (National Institute of Technology, Sendai College), "Formal Proofs of Theorems of Programs with an SMT Solver"

Dec. 5 (Tue)

• Morning Session. Chair: Koichiro Ikeda (Hosei University)

• 09:30-10:20 Akito Tsuboi (University of Tsukuba), "On definability of rank"

• 10:30-11:20Hirotaka Kikyo (Kobe University), "On automorphism groups of generic structures"
  

• 11:20-12:10 Masanori Itai (Tokai University),"Remarks on Rieffel's theorem"

• Luch break

• Afternoon Session. Chair: Masanori Itai (Tokai University)

• 14:00-14:50 Yimu Yin (Sun Yat-sen University, China ), "O-minimal approximation in T-convex valued fields"

• 15:00-15:50 Kota Takeuchi (University of Tsukuba), "On the speed of hereditary properties of graphs"

• 16:00-16:50 Martin Ziegler (University of Freiburg, Germany), "Equational Theories for fields"

Dec. 6 (Wed)

• Morning Session. Chair: Kenji Fukuzaki (Intarnational University of Kagoshima)

• 09:30-10:15 Hisatomo Maesono (Waseda University), "TBA"

• 10:20-11:05 Shunsuke Okabe (Kobe University), "Generic structures of amalgamation classes for irrationals"
  

• 11:10-11:55 Hiroshi Tanaka (Kinki University), "On definable sets  in non-valuational weakly o-minimal structures"

• 11:55- Closing Remarks

Last updated: Oct. 30, 2017        website