The topic of the workshop is set theory and its applications.
Its goal is to bring together researchers in these areas from Japan and abroad and to foster academic exchange.
The program will feature two tutorials. Additionally,
we expect many talks, in particular by junior participants, both from Japan and abroad.
Proceedings of the workshop is available (RIMS website).
Tutorial speakers: |
|
Speakers: |
- Jörg Brendle (Kobe University),
Maximal trees
- Fabiana Castiblanco
(Universität Münster),
Preserving sharps by tree forcings
- David Chodounsky (Institute of Mathematics of the Czech Academy of Science),
Mathias-Prikry forcing and generic ultrafilters
- Sakaé Fuchino (Kobe University),
Reflection theorems on non-existence of orthonormal bases of pre-Hilbert spaces
- Daisuke Ikegami (Tokyo Denki University),
Boolean valued second order logic
- Diego A. Mejía (Shizuoka University),
The left side of Cichoń's diagram
- Tadatoshi Miyamoto (Nanzan University),
Forcing a Morass by Finite Side Conditions
- Diana Carolina Montoya (Kurt Gödel Research Center),
Coherent systems of finite support iterations
- André Ottenbreit Maschio Rodrigues (Kobe University),
On some downwards transfer properties on Foreman-Laver model
- Hiroshi Sakai (Kobe University),
On strong negation of FRP
- David Schrittesser (University of Copenhagen),
Infinite combinatorics, definability and forcing
- Toshimichi Usuba (Waseda University),
Definability of grounds in ZF
- Jonathan Verner (Charles University),
Ultrafilters and Towers
- Liuzhen Wu (Chinese Academy of Science),
Hamel basis without well-ordering on $\mathbb R$
- Jiachen Yuan (Chinese Academy of Science),
A Geometric condition of extender-based Prikry forcing
|
Organizer: |
|
Scientific Committee: |
- Jörg Brendle (Kobe University)
- Diego A. Mejía (Shizuoka University)
|