From 16th to 19th Dec. 2025, at the Research Institute for Mathematical Sciences, Kyoto University
Time of the schedule is JST. (∗) means an online talk
16th December (Tuesday)
10:40 – 10:45: Opening
10:45 – 11:15: Sakaé Fuchino (Kobe University) Generic Laver diamonds at the continuum
11:20 – 12:00: Hiroaki Minami (Aichi Gakuin University) The splitting and reaping number for mad families
13:30 – 14:30: Katsuya Eda (Waseda University) What is a multiset (addition and multiplication)
14:40 – 15:20: Diego A. Mejía (Kobe University) Isomorphism Theorems for ideals in Polish spaces
15:25 – 16:05: (∗) Daisuke Ikegami (Sun Yat-sen University) The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
16:10 – 16:50: (∗) Ari Meir Brodsky (Shamoon College) The Power of Trees
17th December (Wednesday)
09:30 – 10:10: Takashi Yamazoe (Kobe University) Global evasion and prediction associated with ideals
10:15 – 10:55: Hidetaka Noro (Kobe University) Local constant evasion number
11:00 – 12:00: David Chodounský (Czech Academy of Science) P-ultrafilters in generic extensions, I
13:30 – 14:30: Tadatoshi Miyamoto (Nanzan University) Strong Chain Forced by Bubbly Path
14:40 – 15:20: Sakaé Fuchino (Kobe University) Geology of set-theoretic multiverse
15:25 – 16:05: Fumiaki Nishitani (Shizuoka University) The Closed Subtree Property for Aronszajn trees
16:10 – 16:50: (∗) Assaf Rinot (Bar-Ilan University) What is a higher forcing axiom?
18th December (Thursday)
09:30 – 10:10: (∗) Lucas Polymeris (University of Concepci ́on) A strongly surjective Countryman line
10:15 – 10:55: Toshimasa Tanno (Kobe University) Perfect set dichotomy theorem in generalized Solovay model
11:00 – 12:00: David Chodounský (Czech Academy of Science) P-ultrafilters in generic extensions, II
13:30 – 14:30: Boriša Kuzeljević (University of Novi Sad) A dichotomy for transitive lists
14:40 – 15:20: Hiroshi Sakai (University of Tokyo) On consequences of Subcomplete Forcing Axiom
15:25 – 16:05: Kenta Tsukuura (National Fisheries University) Anti-compactness of a filter associated with a weak square sequence
16:10 – 16:50: (∗) Tatsuya Goto (TU Wien) Approaches to open problems regarding Goldstern’s principle
19th December (Friday)
09:30 – 10:10: (∗) Emmanuel Balderas Cristóbal (UNAM-UMSNH) Shelah ultrafilters
10:15 – 10:55: (∗) Osvaldo Guzman (CCM-UNAM) Multiple Pathways and P points
11:00 – 12:00: David Chodounský (Czech Academy of Science) P-ultrafilters in generic extensions, III
13:30 – 14:30: Yushiro Aoki (NIT, Tokyo College) Forcing Axioms for Posets with Properties Stronger than Precaliber $\aleph_1$
14:40 – 15:20: Yusuke Hayashi (Kobe University) Stationary list colorings
15:25 – 16:05: Francesco Parente (Kobe University) Generic absoluteness revisited
16:10 – 16:50: Ryoichi Sato (Kobe University) Groupwise dense number in combinatorial tree forcing with meager ideal