Upcoming Talks

Model Theory Workshop 2024 Spring

We hold seminars several times a month on Wednesdays from 5-6 pm.

Organizers  Hirotaka Kikyo (Kobe Univ.), Kota Takeuchi (Univ. of Tsukuba), Akito Tsuboi (Univ. of Tsukuba*), Koichiro Ikeda (Hosei Univ.)

Contact Info.  Koichiro Ikeda (ikeda at hosei dot ac dot jp), Hirotaka Kikyo (kikyo at kobe-u dot ac dot jp)

Recent Talks

• RIMS Model Theory Workshop 2023 was held from December 4th to 6th. webpage 

• November 29, 2023, Nobu-Yuki Suzuki (Shizuoka University), Intermediate Predicate Logics and Existence Property, slides

• November  8,  2023,   Akito Tsuboi  (University of Tsukuba*),   Dividing and Forking on Random Structures, slides

• November  1,  2023,   Koichiro  Ikeda  (Hosei  University),   A note on omega-categorical stable theories, slides

• October  25, 2023,    Hirotaka  Kikyo  (Kobe University),  On automorphisms with a single orbit on some random structures

• October  18, 2023,   Koki  Okura (University of  Tsukuba),  The rationality of Poincaré series in expansions of the p-adic fields, slides

• July 12, 2023, John Goodrick (Los Andes), Definable sets in ordered Abelian groups of dp-rank 1 and 2, (Venue).  (Face-to-face and online)
  Boissonade  Tower  BT0907,  Hosei  University,  Ichigaya  Campus

• June 28, 2023, Masato Fujita (Japan Coast Guard Academy), On structures over R

• June 21, 2023, Su Gao (Nankai University), Urysohn structures in continuous logic, slides

• June 14, 2023, Akito Tsuboi (Tsukuba*), On cyclic automorphisms, slides

• June  7, 2023, Kota Takeuchi (Tsukuba), Single variable witnesses for unstable properties

• May 31, 2023, Hajime Ishihara (JAIST*), Reverse mathematics in constructive and predicative set theory, slides

• May 17, 2023, Hirotaka Kikyo (Kobe University),  On an o-minimal Yomdin-Gromov theorem 

• March 29, 2023, Kazuma Ikeda (Kyorin University), On Jervell’s normal form in first order arithmetic

• Model Theory Spring workshop 2023 Fukuoka 

• February 8, 2023,  Masahiko Murakami (Tokyo Medical University),   Nonstandard universe, Representation, slides

Past Talks  

• February 1, 2023,  Kota Takeuchi (University of Tsukuba), Some remarks on the local o-minimality, slides
• January 18, 2023,  Hirotaka Kikyo (Kobe University), Multi-experiment parameter identifiability of ODEs and model theory, slides 
• January 11, 2023,  Akito Tsuboi (Univ. of Tsukuba*),  Coloring of Random Graphs and the SOP, slides
• December 7, 2022, Toshio Suzuki (Tokyo Metropolitan University),  Computable Hölder continuous functions and real closed fields, slides
• November 30, 2022,  Kota Takeuchi (Univ. of Tsukuba), (An embedding theorem of Urysohn spaces 2, slides 

  ● November 16, 2022, Hirotaka Kikyo (Kobe Univ.), On Hrushovski's pseudoplanes associated to irrational numbers,  slides (ta  ●November 2, 2022, Koichiro Ikeda (Hosei Univ.), TBA　(Cancelled)竹●October 26, 2022, Kenshi Miyabe  (Meiji Univ.),  Subclasses of the weakly computable reals, slides    ●October 19, 2022, Akito Tsuboi (Univ. of Tsukuba*), Ramsey's theorem and coheir sequences, slides  ●October 5, 2022, Kota Takeuchi (Univ. of Tsukuba), An embedding theorem of Urysohn spaces, slides●July 20, 2022, Hirotaka Kikyo (Kobe Univ.), On automorphism groups of some generic structures, slides  ●July 6, 2022, Ryoma Shin'ya (Akita Univ.) ●June 15, 2022, Koichiro Ikeda (Hosei Univ.), Hrushovski's strongly minimal structures II, slides ●June 8, 2022, Masanori Itai (Tokai Univ.), On the algebraicity of definable holomorphic functions f : C^n --> C, slides●June 1, 2022, Akito Tsuboi (Univ. of Tsukuba*), Some examples and counterexamples, slides   ●May 25, 2022, Kota Takeuchi (Univ. of Tsukuba),  Subadditivity of model-theoretic patterns, slides  ●May 18, 2022, Sakaé Fuchino (Kobe Univ.*), On Downward Löwenheim-Skolem theorems of some non first-order logics, slides　●May 11, 2022, Hirotaka Kikyo (Kobe Univ.), Monodimensionality of Hrushovski's pseudoplanes, slides　●April 20, 2022, Koichiro Ikeda (Hosei Univ.), Hrushovski's strongly minimal structures I, slides　●April 6, 2022, Akito Tsuboi (Univ. of Tsukuba*), Infinite hypergraphs, coloring and the existence problem of almost monochromatic subgraphs, slides  ●March 16, 2022, Kota Takeuchi (Univ. of Tsukuba), Ramsey property and metric structures, slides   ●March 9, 2022, Kenji Fukuzaki (International Univ. of Kagoshima), Decidability problems in number theory, slides　●March 2, 2022, Hirotaka Kikyo (Kobe Univ.), Model completeness of theories of some generic  structures,  slides　●February 23, 2022, Koichiro Ikeda (Hosei Univ.), Generic structures and elimination of imaginaries, slides　●February 16, 2022, Koji Nkatogawa (Hokkaido Univ.*),  Tarski-Vaught-Silver におけるモデル理論研究の方法態度について,  slides　●February 9, 2022, Hisashi Aratake (RIMS),  理論とそのモデルの圏について,  slides　●February 2, 2022, Masanori Itai (Tokai Univ.),  ℚの中でℤを定義する：Poonen の∀∃定義と，Koenigsmann の∀定義,  slides　●January 26, 2022, Kota Takeuchi (Univ. of Tsukuba), What is an MIP*? (Part 2)　●January 19, 2022, Akito Tsuboi (Univ. of Tsukuba*), Keisler-Shelah Isomorphism Theorem and CH.  slides　●January 12, 2022, Kota Takeuchi (Univ. of Tsukuba), What is an MIP*? (Part 1), abstract　reference　●January 5, 2022, Hirotaka Kikyo (Kobe Univ.), On strictly NSOP3 theories,  reference　●December 22, 2021, Koichiro Ikeda (Hosei Univ.), Normal generic structures, slides