Funds:
There is a limited amount of funding available for travel expenses of participants.
Registration:
If you wish to attend the meeting please register
here.
Contact:
Hirotaka Kikyo (kikyo(at)kobe-u.ac.jp).
Deadline:
November 10, 2022 for speakers. November 30, 2022 for participants.
Proceedings: We
publish the proceedings of this workshop from RIMS. Each
speaker is requested to submit an article. The deadline will be some time in March, 2023.
Access:
RIMS page
Program
The program in pdf
Monday, December 12, 2022 (Afternoon)
Chair: Akito Tsuboi (Tsukuba)
- 13:20-13:30 Opening remarks
- 13:30-14:20 K. Takeuchi (Tsukuba), On indivisible structures
- 14:30-15:20 W. Komine (Tsukuba), On prime models of definably complete locally o-minimal theories
- 15:30-16:20 D.M. Hoffmann (Warsaw), On Weak Independence Theorem
- 16:30-16:50 K. Tanaka (Okayama), On near-rings
Tuesday, December 13, 2022 (Morning)
Chair: Kota Takeuchi (Tsukuba)
- 9:00-9:50 J. Goodrick (los Andes), Sets definable in ordered Abelian groups of finite burden and finite dp-rank
- 10:00-10:20 M. Fujita (Japan Coast Guard A.) and T. Kawakami (Wakayama), Definable proper quotients
- 10:30-11:10 I. Yoneda (NIT, Tokuyama), On key lemmas for weak elimination of imaginaries in Boolean algebras
- 11:20-12:00 I. Yoneda (NIT, Tokuyama), Questions on geometric structures with a dense independent subset
Tuesday, December 13, 2022 (Afternoon)
Chair: Ikuo Yoneda (NIT, Tokuyama)
- 13:40-14:30 M. Fujita (Japan Coast Guard A.), Introduction to almost o-minimality
- 14:40-15:30 H. Lee (Yonsei), Generic expansions of NATP theories
- 15:40-16:30 A. Tsuboi (Tsukuba), Colored multipartite random graphs and the order property
Wednesday, December 14, 2022 (Morning)
Chair: Masato Fujita (Japan Coast Guard A.)
- 9:00-9:20 K. Ino (Manchester), Model theory of separably differentially closed fields
- 9:30-10:10 H. Maesono (Waseda), On locally o-minimal structures
- 10:20-11:00 H. Kikyo (Kobe), On Hrushovski's pseudoplanes with irrational dimensions
- 11:10-11:50 K. Yokoyama (Tohoku), A "model complete" theory of arithmetic and weak Kőnig's lemma
Last updated:
December 9, 2022.