2012: Forcing in Set Theory
January 23–28, 2012, the seminar Forcing in Set Theory took place at Kobe University, Japan.
It was funded by the bilateral Joint Seminar program of the JSPS (principal investigator: Sakaé Fuchino, Kobe) and the FWF (grant AJS336-N13, principal investigator: Jakob Kellner, KGRC). The local organizers were Jörg Brendle, Sakaé Fuchino and Hiroshi Sakai.
Visit the conference website for more details, as well as photos, abstracts and slides.
Program
Monday, January 23 | ||
---|---|---|
10:00–11:30 | Registration | |
11:30–12:50 | Lunch time | |
12:50–13:00 | Opening | |
13:00–13:45 | Andrew Brooke-Taylor (Kobe U, Japan) | Large cardinals and colimits |
14:00–14:45 | Frank Tall (U Toronto, Canada) | Lindelof Indestructibility, Topological games, and Selection Principles: New Results |
14:45–15:45 | Break | |
15:45–16:30 | Sakaé Fuchino (Kobe U, Japan) | On reflection of list chromatic number |
16:45–17:30 | Diego Alejandro Mejía (Kobe U, Japan) | Matrix iterations and the Cichon's diagram |
Tuesday, January 24 | ||
9:45–10:30 | Teruyuki Yorioka (Shizuoka U, Japan) | Killing some S-spaces by a coherent Suslin tree |
10:45–11:30 | Andrés Villaveces (UN Colombia, Bogotá, Colombia) | Forcing and Categoricity |
11:30–13:00 | Lunch time | |
13:00–13:45 | Martin Goldstern (DMG, TU Wien, Austria) | Ultralaver forcing |
14:00–14:45 | Wolfgang Wohofsky (DMG, TU Wien, Austria) | Janus forcing towards dual Borel Conjecture, and other variants of the Borel Conjecture |
14:45–15:45 | Break | |
15:45–16:30 | Jakob Kellner (KGRC, U Wien, Austria) | Borel Conjecture and dual Borel Conjecture |
16:45–17:30 | Victor Torres (KGRC, U Wien, Austria) | Conjectures of Rado and Chang, and Special Aronszajn Trees |
18:00–21:00 | Conference Dinner at Sakura | |
Wednesday, January 25 | ||
9:30–10:15 | Shuguo Zhang (Sichuan U, Chengdu, China) | Cardinal invariants related to I-ultrafilters |
10:30–11:15 | Masaru Kada (Osaka Prefecture U, Sakai, Japan) | Remarks on Scheepers' theorem on the cardinality of Lindelöf spaces |
11:30–12:15 | Vera Fischer (KGRC, U Wien, Austria) | Projective wellorders and maximal families of orthogonal measures with large continuum |
12:15– | Lunch time and free discussions | |
Thursday, January 26 | ||
9:45–10:30 | Taishi Kurahashi (Kobe U, Japan) | Predicate modal logic of provability and Montagna's problem |
10:45–11:30 | Yasuo Yoshinobu (Nagoya U, Japan) | On weakly operationally closed posets |
11:30–13:00 | Lunch time | |
13:00–13:45 | Sy-David Friedman (KGRC, U Wien, Austria) | The Stable Core of V |
14:00–14:45 | Hiroshi Sakai (Kobe U, Japan) | Chang's Conjecture and weak square |
14:45–15:45 | Break | |
15:45–16:30 | Hiroshi Fujita (Ehime U, Matsuyama, Japan) | Borel-generated subgroups of the real line |
16:45–17:30 | Hiroaki Minami (KGRC, U Wien, Austria) | Reaping number and independence number for partitions of omega. |
17:45–18:30 | David Asperó (DMG, TU Wien, Austria) | Wishful thinking in set theory: Omega-completeness and maximality |
Friday, January 27 | ||
9:45–10:30 | Miguel Angel Mota (KGRC, U Wien, Austria) | Generalizations of Martin's Axiom and their consistency with a large continuum. |
10:45–11:30 | Lyubomyr Zdomskyy (KGRC, U Wien, Austria) | Productively Lindelöf spaces and selection principles |
11:30–13:00 | Lunch time | |
13:00–13:45 | Tristan Bice (Kobe U, Japan) | Set Theory of the Calkin Algebra |
14:00–14:45 | Liuzhen Wu (KGRC, U Wien, Austria) | Delta_1-definability of the nonstationary ideal |
15:00–15:45 | Vincenzo Dimonte (KGRC, U Wien, Austria) | Forcing and Very Large Cardinals: DOs and DON'Ts |
Saturday, January 28 | ||
9:30–10:15 | Dilip Raghavan (Kobe U, Japan) | Suslin lattices |
10:30–11:15 | Jörg Brendle (Kobe U, Japan) | Aspects of splitting |
11:30–12:15 | Toshimichi Usuba (Nagoya U, Japan) | Small semiproper posets |
Participants in addition to the speakers:
- Yoshihiro Abe (Kanagawa U, Yokohama, Japan)
- Franqui Cárdenas (UN Colombia, Bogotá, Colombia)
- Arthur Fischer (KGRC, U Wien, Austria)
- Yo Matsubara (Nagoya U, Japan)
- Tadatoshi Miyamoto (Nanzan U, Nagoya, Japan)
- Masahiro Rokuyama (Kyoto U, Japan)