Determinacy, Inner Models and Forcing Axioms
This will be a conference focussing on new developments in inner model theory and connections to Large Cardinals, Determinacy and Forcing Axioms.
June 24, 2024
June 25, 2024
June 26, 2024
June 27, 2024
June 28, 2024
09:00 — 09:45
Coffee & Registration
09:45 — 10:00
Welcome
10:00 — 10:45
John Steel (UC, Berkeley)
The comparison lemma
The comparison lemma
10:45 — 11:15
Coffee Break
11:15 — 12:00
Jouko Väänänen (U Helsinki)
Inner models constructed from generalized logics and their relationship with the standard inner models
Inner models constructed from generalized logics and their relationship with the standard inner models
12:00 — 14:00
Lunch Break
14:00 — 14:45
Bartosz Wcislo (U of Gdańsk)
Separating levels of DC on reals from levels of PD.
Separating levels of DC on reals from levels of PD.
14:45 — 15:05
Coffee Break
15:05 — 15:50
William Chan (TU Vienna)
Cardinality of the Set of Bounded Subsets of a Cardinal
Cardinality of the Set of Bounded Subsets of a Cardinal
16:00 — 16:45
Menachem Magidor (HU of Jerusalem)
Inner Models constructed from generalized logics and their relationship with the standard models.
Inner Models constructed from generalized logics and their relationship with the standard models.
Ralf Schindler gave the talk instead of Magidor.
09:00 — 09:15
Coffee
09:15 — 10:00
Dima Sinapova (Rutgers U)
Stationary reflection for $\aleph_{\omega_1+1}$
Stationary reflection for $\aleph_{\omega_1+1}$
10:00 — 10:20
Coffee Break
10:20 — 11:05
Benjamin Siskind (TU Vienna)
Order-preserving Martin's Conjecture and Inner Model Theory
Order-preserving Martin's Conjecture and Inner Model Theory
11:15 — 12:00
Martin Zeman (UC Irvine)
On the failure of two successive squares
On the failure of two successive squares
12:00 — 14:00
Lunch Break
14:00 — 14:45
Dominik Adolf (--)
Chang's Conjecture and Mouse Reflection
Chang's Conjecture and Mouse Reflection
14:45 — 15:05
Coffee Break
15:05 — 15:50
Andreas Lietz (TU Vienna)
On Mathias Characterizations for Generics for Variants Of Namba Forcing
On Mathias Characterizations for Generics for Variants Of Namba Forcing
16:00 — 16:45
Takehiko Gappo (TU Vienna)
Determinacy of long games just beyond fixed countable length
Determinacy of long games just beyond fixed countable length
09:00 — 09:15
Coffee
09:15 — 10:00
10:00 — 10:20
Coffee Break
10:20 — 11:05
Hugh Woodin (Harvard U, Cambridge)
Exotic models - part I
Exotic models - part I
11:15 — 12:00
Hugh Woodin (Harvard U, Cambridge)
Exotic models - part II
Exotic models - part II
12:00 — 14:00
Lunch Break
14:00 — 19:00
Excursion
19:00
Conference Dinner
09:00 — 09:15
Coffee
09:15 — 10:00
Juan M Santiago Suárez (U Paris Cité)
Forcing and consistency properties
Forcing and consistency properties
10:00 — 10:20
Coffee Break
10:20 — 11:05
Jan Kruschewski (TU Vienna)
Analysis of HOD for Admissible Structures
Analysis of HOD for Admissible Structures
11:15 — 12:00
Derek Levinson (UCLA)
Unreachability in the Second Projective-Like Hierarchy
Unreachability in the Second Projective-Like Hierarchy
12:00 — 14:00
Lunch
14:00 — 14:45
James Cummings (Carnegie Mellon U, Pittsburgh)
Squares, scales and lines
Squares, scales and lines
14:45 — 15:05
Coffee
15:05 — 15:50
Grigor Sargsyan (Polish Academy of Science, Warsaw)
Hod mice as a bridge between determinacy, forcing axioms and infintary combinatorics - part I
Hod mice as a bridge between determinacy, forcing axioms and infintary combinatorics - part I
Recording
-- online
16:00 — 16:45
Grigor Sargsyan
Grigor Sargsyan (Polish Academy of Science, Warsaw)
Hod mice as a bridge between determinacy, forcing axioms and infintary combinatorics - part II
Hod mice as a bridge between determinacy, forcing axioms and infintary combinatorics - part II
Recording
-- online
09:00 — 09:15
Coffee
09:15 — 10:00
Gabriel Goldberg (UC, Berkeley)
The HOD conjecture and its failure
The HOD conjecture and its failure
10:00 — 10:20
Coffee Break
10:20 — 11:05
Taichi Yasuda (U Münster)
Martin’s Maximum$^{*, ++}_{c}$ in $P_{max}$ extensions of strong models of determinacy
Martin’s Maximum$^{*, ++}_{c}$ in $P_{max}$ extensions of strong models of determinacy
11:15 — 12:00
Farmer Schlutzenberg (TU Vienna)
Ladder mice
Ladder mice
12:00 — 14:00
Lunch Break
14:00 — 14:45
Monroe Eskew (U of Vienna)
Transferring ideals
Transferring ideals
14:45 — 15:05
Coffee Break
15:05 — 15:50
Nam Trang (UNT, Denton)
Almost disjoint families in natural models of $AD^+$
Almost disjoint families in natural models of $AD^+$
16:00 — 16:45
Shervin Sorouri (U Münster)
Longer Prikry Sequences
Longer Prikry Sequences
Organizers
| Name | Affiliation |
|---|---|
| Sandra Müller | Technical University of Vienna |
| Grigor Sargsyan | Polish Academy of Sciences |
| Ralf Schindler | Westfälische Wilhelms-Universität Münster |
| John Steel | University of California, Berkeley |
Attendees
| Name | Affiliation |
|---|---|
| Dominik Adolf | unaffiliated |
| Juan Aguilera | Technical University of Vienna |
| Alessandro Andretta | University of Torino |
| David Aspero | University of East Anglia |
| Fernando Barrera | University of Udine |
| William Chan | Technical University of Vienna |
| Sean Cody | University of California, Berkeley |
| James Cummings | Carnegie Mellon University |
| Ben De Bondt | University of Münster |
| Monroe Eskew | University of Vienna |
| Azul Fatalini | University of Münster |
| Vera Fischer | University of Vienna |
| Gunter Fuchs | City University of New York |
| Takehiko Gappo | Technical University of Vienna |
| Gabriel Goldberg | University of California, Berkeley |
| Zakkai Goriely | University of California, Berkeley |
| Christopher Henney-Turner | Polish Academy of Sciences |
| Stefan Hoffelner | University of Münster |
| Peter Holy | TU Wien |
| Martina Iannella | TU Wien |
| Daisuke Ikegami | Sun Yat-sen University |
| Daniel Iosub | The Hebrew University of Jerusalem |
| Jakob Kellner | Technical University of Vienna |
| Juliette Kennedy | University of Helsinki |
| Siiri Kivimäki | University of Helsinki |
| Lukas Koschat | Technical University of Vienna |
| Jan Kostrzon | University of Warsaw |
| Jan Kruschewski | Technical University of Vienna |
| Derek Levinson | University of California, Los Angeles |
| Andreas Lietz | Technical University of Vienna |
| Philipp Lücke | University of Hamburg |
| Menachem Magidor | The Hebrew University of Jerusalem |
| Toby Meadows | University of California, Irvine |
| Miguel Moreno | University of Helsinki |
| Elena Pozzan | University of Torino |
| Otto Rajala | University of Helsinki |
| Tapio Saarinen | University of Helsinki |
| Juan M Santiago Suárez | Université Paris Cité |
| Farmer Schlutzenberg | Technical University of Vienna |
| David Schrittesser | Harbin Institute of Technology |
| Robert Schütz | University of California, Berkeley |
| Xianghui Shi | Beijing Normal University |
| Dima Sinapova | Rutgers University |
| Benjamin Siskind | Technical University of Vienna |
| Shervin Sorouri | University of Münster |
| Grigorii Stepanov | TU Wien |
| Cesare Straffelini | University of Barcelona |
| Corey Switzer | University of Vienna |
| Sebastiano Thei | University of Udine |
| Nam Trang | University of North Texas |
| Andrés Felipe Uribe-Zapata | TU Wien |
| Jouko Väänänen | University of Helsinki |
| Matteo Viale | University of Torino |
| Lena Wallner | Technical University of Vienna |
| Bartosz Wcislo | University of Gdańsk |
| Thilo Weinert | University of Udine |
| Philip Welch | University of Bristol |
| Trevor Wilson | Miami University |
| Wolfgang Wohofsky | University of Vienna |
| Hugh Woodin | Harvard University |
| Taichi Yasuda | University of Münster |
| Lyubomyr Zdomskyy | Technical University of Vienna |
| Martin Zeman | University of California, Irvine |
| Jiaming Zhang | Carnegie Mellon University |
Jouko Väänänen (U Helsinki): Inner models constructed from generalized logics and their relationship with the standard inner models
June 24, 2024 11:15 — 12:00
June 24, 2024 11:15 — 12:00
Bartosz Wcislo (U of Gdańsk): Separating levels of DC on reals from levels of PD.
June 24, 2024 14:00 — 14:45
June 24, 2024 14:00 — 14:45
William Chan (TU Vienna): Cardinality of the Set of Bounded Subsets of a Cardinal
June 24, 2024 15:05 — 15:50
June 24, 2024 15:05 — 15:50
Dima Sinapova (Rutgers U): Stationary reflection for $\aleph_{\omega_1+1}$
June 25, 2024 09:15 — 10:00
June 25, 2024 09:15 — 10:00
Benjamin Siskind (TU Vienna): Order-preserving Martin's Conjecture and Inner Model Theory
June 25, 2024 10:20 — 11:05
June 25, 2024 10:20 — 11:05
Andreas Lietz (TU Vienna): On Mathias Characterizations for Generics for Variants Of Namba Forcing
June 25, 2024 15:05 — 15:50
June 25, 2024 15:05 — 15:50
Trevor Wilson (Miami U): Characterizing large cardinals in terms of Löwenheim-Skolem and weak compactness properties of strong logics
June 26, 2024 09:15 — 10:00
June 26, 2024 09:15 — 10:00
Juan M Santiago Suárez (U Paris Cité): Forcing and consistency properties
June 27, 2024 09:15 — 10:00
June 27, 2024 09:15 — 10:00
Derek Levinson (UCLA): Unreachability in the Second Projective-Like Hierarchy
June 27, 2024 11:15 — 12:00
June 27, 2024 11:15 — 12:00
James Cummings (Carnegie Mellon U, Pittsburgh): Squares, scales and lines
June 27, 2024 14:00 — 14:45
June 27, 2024 14:00 — 14:45
Grigor Sargsyan (Polish Academy of Science, Warsaw): Hod mice as a bridge between determinacy, forcing axioms and infintary combinatorics - part I
June 27, 2024 15:05 — 15:50
June 27, 2024 15:05 — 15:50
Grigor Sargsyan (Polish Academy of Science, Warsaw): Hod mice as a bridge between determinacy, forcing axioms and infintary combinatorics - part II
June 27, 2024 16:00 — 16:45
June 27, 2024 16:00 — 16:45
Taichi Yasuda (U Münster): Martin’s Maximum$^{*, ++}_{c}$ in $P_{max}$ extensions of strong models of determinacy
June 28, 2024 10:20 — 11:05
June 28, 2024 10:20 — 11:05
Nam Trang (UNT, Denton): Almost disjoint families in natural models of $AD^+$
June 28, 2024 15:05 — 15:50
June 28, 2024 15:05 — 15:50
At a glance
- Type:
- Workshop
- When:
- June 24, 2024 — June 28, 2024
- Where:
- ESI Boltzmann Lecture Hall
- Organizer(s):
-
Sandra Müller (TU Vienna)
Grigor Sargsyan (Polish Academy of Science, Warsaw)
Ralf Schindler (WWU Münster)
John Steel (UC, Berkeley)
- More:
- Website