SCHEDULE ARCTIC 7 SUNDAY FEB. 16: TRAVEL DAY 19:00 Evening snack. Monday: 8-9 Breakfast 9-9:30 Siiri Kivimaki: Universality and Aronszajn trees 9:35-10:05 Juan Aguilera: Local Hanf-Tarski numbers COFFEE BREAK (offered by the University of Helsinki/ERC) 10:25-10:55 David Chodounsky: Generic gaps are destructible 11:00-11:40 Obrad Kasum: Bottom up constructions of universally Baire sets 12.30-15 LUNCH/AFTERNOON BREAK 15:00-15.30 Asa Hirvonen: On ultra power approximations to spectral theorems 15.35-16:15 David Aspero: (Short) memory iterations and side conditions COFFEE BREAK (offered by the University of Helsinki/ERC) 16:35-17:15 Walter Dean: On informal rigor and the origin of forcing 17:20-18:00 Benjamin Siskind: Ultrapowers of determinacy models as iteration trees of HOD 18:30 Dinner Tuesday: 8-9 Breakfast 9-9:50 Matt Foreman: Type IV impossibility results 10-10:30 Martina Ianella: Classification of free manifolds and Cantor sets of R^3 COFFEE BREAK (offered by the University of Helsinki/ERC) 10:50-11:20 Derek Levinson: Derived Models and PFA 11:25-12:15 Dima Sinapova: Forcing and Borel equivalence relations 12:15-15 LUNCH/AFTERNOON BREAK 15:00-15:50 Chris Lambie-Hanson: Infinitary combinatorics in condensed mathematics 16-16:30 Dia Basak: The Shape of Reason: The Role of Topology in Large Cardinals COFFEE BREAK (offered by the University of Helsinki/ERC) 17-17:50 Lukas Koschat: Some canonical sets of sets of reals and full models of LSA in L(UB) 18-18:20 Andreas Lietz: Separating Maximality Principles 18:30 Dinner Wednesday: 8-9 Breakfast 9-9:50 Ralf Schindler: The number of Woodin cardinals in core models. 10-10:40 Corey Switzer: A variant of Baumgartner's Axiom with applications COFFEE BREAK (offered by the University of Helsinki/ERC) 11-11:50 Miguel Angel Mota: On the consistency strength of $MM(\omega_1)$ 12-12:30 Francesco Parente: Properties preserved by classes of Chu transforms 12:30-15 LUNCH/AFTERNOON BREAK 15:00-15:50 Ted Slaman: Set Theoretic Aspects of Hausdorff Dimension 16:00-16:40 Philip Welch: Nestings and Burrows COFFEE BREAK (offered by the University of Helsinki/ERC) 17-17:50 Menachem Magidor 1: Forcing universal objects: the case of Aronszajn trees 18-18:30 Taichi Yasuda: The cofinality of universally Baire sets problem 18:30 Dinner Thursday: 8-9 Breakfast 9-9:40 Tapio Saarinen: Forcing the existence of a complete non-categorical second order theory 9:45-10:25 Asaf Karagila: The Kinna-Wagner conjecture and critical cardinals COFFEE BREAK (offered by the University of Helsinki/ERC) 10:40-11:10 Natasha Dobrinen: On parametrized Ramsey theorems 11:15-12:05 Menachem Magidor 2: More on forcing universal objects: the case of Aronszajn trees 12:30 LUNCH EXCURSIONS 18:30 Dinner Friday: 8-9 Breakfast 9-9:30 Vera Fischer: Good witnesses 10-10:40 Miguel Moreno: The Borel reducibility Main Gap COFFEE BREAK (offered by the University of Helsinki/ERC) 11:00-11:50 Andres Villaveces: Randomizing Infinitary Logic 12:00-12:30 Ur Ya'ar: Inner models from extended logics and the Delta-operation 12:30-15 LUNCH/AFTERNOON BREAK 15-15:50 Gabe Goldberg: AD and UA 16-16:30 Takehiko Gappo: Exact large cardinal strength of determinacy of games of fixed countable length COFFEE BREAK (offered by the University of Helsinki/ERC) 16:50-17:40 Menachem Magidor 3: More on forcing universal objects: the case of Aronszajn trees 17:45-18:25 Tom Benhamou: Generating Ultrafilters CONFERENCE DINNER 18.30 (offered by the University of Helsinki/ERC) Saturday: 8-9 Breakfast 10:15-10:45 Otto Rajala: The inner model C(aa+) 10:45-11:15 Pedro Marun: Labelled sets. 11:30 LUNCH 12:30 Bus to Kittila. Leave the room key to the door of your room. The bus leaves from the Biological Station.