9:30 - 10:00 | Registration |
10:00 - 10:30 | Coffee break |
10:30 - 11:00 |
Van der Vlugt Topology and Cardinal Invariants on Singular Higher Baire |
11:00 - 12:00 |
Schlicht TBA |
12:00 - 13:30 | Lunch |
13:30 - 14:30 |
Hyttinen On GDST without the assumption κ^(<κ) = κ |
14:30 - 15:00 | Coffee break |
15:00 - 15:30 |
Chapman The λ-Borel hierarchy on κ^κ for λ ≠ κ |
15:30 | Day ends |
9:00 - 10:00 |
Velickovic TBA |
10:00 - 10:30 | Coffee break |
10:30 - 11:00 |
Pitton Wadge classes in Generalized Descriptive Set Theory at the second level of the Borel hierarchy |
11:00 - 12:00 |
Fischer TBA |
12:00 - 13:30 | Lunch |
13:30 - 14:30 |
Magidor TBA |
14:30 - 15:00 | Coffee break |
15:00 - 15:30 |
Sun NS_{\omega_1} is not uB-\undertilde\Pi^1_1 |
15:30 | Day ends |
19:00 | Dinner |
9:00 - 9:30 |
Eskew Uniform ideals and higher independence |
9:30 - 10:00 |
Lupini Borel complexity theory as a bridge between higher-order notions in topology, algebra, and analysis |
10:00 - 10:30 | Coffee break |
10:30 - 11:00 |
Sziraki Open hypergraphs, covering with closed sets and games |
11:00 - 12:00 |
Motto Ros TBA |
12:00 - 13:30 | Lunch |
13:30 - 14:30 |
Lücke Descriptive aspects of large cardinals beyond HOD |
14:30 - 15:00 | Coffee break |
15:00 - 15:30 |
Barrera On coding mice in GDST at singular cardinals of countable cofinality |
15:30 | Day ends |