Set-Theory
The workshop features selected talks in descriptive set theory, infinitary combinatorics, forcing and large cardinals given by leading specialists in the field.
July 4, 2022
July 5, 2022
July 6, 2022
July 7, 2022
July 8, 2022
09:00 — 09:30
Registration & Welcome
09:30 — 10:00
Heike Mildenberger (ALU Freiburg)
A Simple $P_{\aleph_1}$-Point and a Simple $P_{\aleph_2}$-Point
A Simple $P_{\aleph_1}$-Point and a Simple $P_{\aleph_2}$-Point
10:00 — 10:15
Discussion/Break
10:15 — 10:30
Coffee Break
10:30 — 11:00
Jonathan Cancino-Manriquez (Czech Academy of Sciences, Prague)
No Hausdorff ultrafilters with large continuum
No Hausdorff ultrafilters with large continuum
11:00 — 11:15
Discussion/Break
11:15 — 11:45
Jindřich Zapletal (U of Florida, Gainesville)
Algebra and the Axiom of Choice
Algebra and the Axiom of Choice
11:45 — 12:00
Discussion/Break
12:00 — 14:00
Lunch Break
14:00 — 15:00
Poster Session
15:00 — 15:30
Coffee Break
15:30 — 16:00
online
Sean Cox (Virginia Commonwealth U)
Homological algebra, elementary submodels, and stationary logic
Homological algebra, elementary submodels, and stationary logic
16:00 — 16:15
Discussion/Break
16:15 — 16:45
online
Alexander Kechris (Caltech, Pasadena)
The compact action realization problem
The compact action realization problem
16:45 — 17:00
Discussion/Break
09:00 — 09:30
Mirna Dzamonja (CNRS, Paris)
Reasonable uncountable structures
Reasonable uncountable structures
09:30 — 09:45
Discussion/Break
09:45 — 10:15
Ben De Bondt (Université de Paris)
On a playfully defined family of countable elementary submodels of $H_\theta$
On a playfully defined family of countable elementary submodels of $H_\theta$
10:15 — 10:30
Discussion/Break
10:30 — 11:00
Coffee Break
11:00 — 11:30
Lorenz Halbeisen (ETH Zurich)
Four Cardinals and Their Relations in ZF
Four Cardinals and Their Relations in ZF
11:30 — 11:45
Discussion/Break
11:45 — 12:15
François Le Maître (U Paris-Diderot)
Global aspects of transitive actions of free groups and Baumslag Solitar groups
Global aspects of transitive actions of free groups and Baumslag Solitar groups
12:15 — 12:30
Discussion/Coffee Break
12:30 — 14:00
Lunch Break
14:00 — 14:30
Omer Ben Neria (HU of Jerusalem)
Diamond, Compactness, and product approximations.
Diamond, Compactness, and product approximations.
14:30 — 14:45
Discussion/Break
14:45 — 15:15
Coffee break
15:15 — 15:45
online
Osvaldo Guzman (UNAM, Morelia)
More on the P-ideal Dichotomy and cardinal invariants of the continuum
More on the P-ideal Dichotomy and cardinal invariants of the continuum
15:45 — 16:00
Discussion/Break
16:00 — 16:30
online
Michael Hrusak (UNAM, Mexico City)
Tukey order on $F_\sigma$ ideals
Tukey order on $F_\sigma$ ideals
16:30 — 16:45
Discussion/Break
09:00 — 09:30
Sandra Müller (TU Vienna)
Preserving universally Baire sets and Sealing
Preserving universally Baire sets and Sealing
09:30 — 09:45
Discussion/Break
09:45 — 10:15
Otmar Spinas (Christian-Albrechts-U, Kiel)
Mycielski ideals and uniform Sacks trees
Mycielski ideals and uniform Sacks trees
10:15 — 10:30
Discussion/Break
10:30 — 11:00
Coffee Break
11:00 — 11:30
David Aspero (U of East Anglia, Norwich)
On forcibility of $\Sigma_2$ sentences over $L(V_\delta)$
On forcibility of $\Sigma_2$ sentences over $L(V_\delta)$
11:30 — 11:45
Discussion/Break
11:45 — 12:15
Mohammad Golshani (IPM, Tehran)
Universal graphs at uncountable regular cardinals
Universal graphs at uncountable regular cardinals
12:15 — 12:30
Discussion/Break
12:30 — 14:00
Lunch Break
18:30
Dinner: Wolff
09:00 — 09:30
Marlene Koelbing (U of Vienna)
Fresh function spectra
Fresh function spectra
09:45 — 10:15
Alan Dow (UNC Charlotte)
Pseudo-intersections and a variant of matrix forcing
Pseudo-intersections and a variant of matrix forcing
10:15 — 10:30
Discussion/Break
10:30 — 11:00
Coffee Break
11:00 — 11:30
Grigor Sargsyan (Polish Academy of Science, Warsaw)
There are no long sequences of definable sets of reals.
There are no long sequences of definable sets of reals.
11:30 — 11:45
Discussion/Break
11:45 — 12:15
Natasha Dobrinen (U of Denver)
Ultrafilters and topological Ramsey spaces
Ultrafilters and topological Ramsey spaces
12:15 — 12:30
Discussion/Break
12:30 — 14:00
Lunch Break
14:00 — 14:30
online
James Cummings (Carnegie Mellon U, Pittsburgh)
Pathological measures
Pathological measures
14:30 — 14:45
Discussion/Break
14:45 — 15:15
Coffee Break
15:15 — 15:45
online
Anton Bernshteyn (GATECH, Atlanta)
Constructing equivariant maps to free (and almost free) subshifts
Constructing equivariant maps to free (and almost free) subshifts
15:45 — 16:00
Discussion/Break
16:00 — 16:30
online
Itay Neeman (UCLA)
Restrictions of OCA_T with large continuum
Restrictions of OCA_T with large continuum
16:30 — 16:45
Discussion/Break
09:00 — 09:30
Šárka Stejskalová (Charles U, Prague)
Indestructibility of some compactness principles over models of PFA
Indestructibility of some compactness principles over models of PFA
09:30 — 09:45
Discussion/Break
09:45 — 10:15
Jelle Mathis Kuiper (Christian-Albrechts-U, Kiel)
Mycielski Ideals and Uniform Sacks Trees
Mycielski Ideals and Uniform Sacks Trees
10:15 — 10:30
Discussion/Break
10:30 — 11:00
Coffee Break
11:00 — 11:30
David Schrittesser (U Toronto)
Maximal discrete sets
Maximal discrete sets
11:30 — 11:45
Discussion/Break
11:45 — 12:15
Zoltán Vidnyánszky (CalTech)
Large Borel chromatic numbers of bounded degree acyclic graphs
Large Borel chromatic numbers of bounded degree acyclic graphs
12:15 — 12:30
Discussion/Break
12:30 — 14:00
Lunch Break
14:15 — 15:00
Natasha Dobrinen (U of Denver)
Ramsey theory of homogeneous structures
Ramsey theory of homogeneous structures
ICM Talks (in person only)
15:00 — 15:30
Coffee Break
15:30 — 16:00
William Chan (Carnegie Mellon U, Pittsburgh)
A Survey of Cardinalities under Determinacy
A Survey of Cardinalities under Determinacy
16:00 — 16:15
Discussion/Break
16:15 — 16:45
Asger Törnquist (U of Copenhagen)
Regularity properties and mad families in higher dimensions
Regularity properties and mad families in higher dimensions
16:45 — 17:00
Discussion/Break
Organizers
| Name | Affiliation |
|---|---|
| Jörg Brendle | Kobe University |
| Vera Fischer | University of Vienna |
| Sy David Friedman | University of Vienna |
Attendees
| Name | Affiliation |
|---|---|
| Juan Aguilera | Technical University of Vienna |
| David Aspero | University of East Anglia |
| Ömer Faruk Bag | University of Vienna |
| Serhii Bardyla | University of Vienna |
| Anton Bernshteyn | Georgia Institute of Technology |
| Jonathan Cancino-Manriquez | Czech Academy of Sciences |
| Miguel Antonio Cardona-Montoya | Pavol Jozef Šafárik University in Kosice |
| William Chan | Carnegie Mellon University |
| David Chodounsky | Czech Academy of Sciences |
| Sean Cox | Virginia Commonwealth University |
| James Cummings | Carnegie Mellon University |
| Ben De Bondt | Université de Paris |
| Natasha Dobrinen | University of Denver |
| Roman Doerner | University of Vienna |
| Alan Dow | University of North Carolina Charlotte |
| Mirna Dzamonja | CNRS Paris |
| Monroe Eskew | University of Vienna |
| Takehiko Gappo | Rutgers University |
| Martin Goldstern | Technical University of Vienna |
| Mohammad Golshani | IPM |
| Jan Grebik | University of Warwick |
| Osvaldo Guzman | Universidad Nacional Autonoma de Mexico |
| Lorenz Halbeisen | ETH Zurich |
| Peter Holy | TU Wien |
| Radek Honzik | Charles University Prague |
| Michael Hrusak | Universidad Nacional Autónoma de México |
| Alexander Kechris | California Institute of Technology, Pasadena |
| Jakob Kellner | Technical University of Vienna |
| Marlene Koelbing | University of Vienna |
| Jelle Mathis Kuiper | Christian-Albrechts-Universität zu Kiel |
| Boriša Kuzeljević | University of Novi Sad |
| François Le Maître | University Paris-Diderot |
| Severin Mejak | University of Copenhagen |
| Diego Mejia | Shizuoka University |
| Heike Mildenberger | Albert Ludwigs U Freiburg |
| Julia Millhouse | University of Vienna |
| Rahman Mohammadpour | Institute of Mathematics of the Polish Academy of Sciences |
| Diana Carolina Montoya | University of Vienna |
| Miguel Moreno | University of Vienna |
| Sandra Müller | Technical University of Vienna |
| Itay Neeman | University of California, Los Angeles |
| Omer Ben Neria | The Hebrew University of Jerusalem |
| Riccardo Plati | ETH Zürich |
| Grigor Sargsyan | Polish Academy of Sciences |
| Lukas Schembecker | University of Vienna |
| David Schrittesser | University of Toronto |
| Otmar Spinas | Christian-Albrechts-Universität zu Kiel |
| Šárka Stejskalová | Charles University Prague |
| Jaroslav Šupina | Pavol Jozef Šafárik University in Kosice |
| Corey Switzer | University of Vienna |
| Asger Törnquist | University of Copenhagen |
| Boban Velickovic | University Paris-Diderot |
| Zoltán Vidnyánszky | California Institute of Technology |
| Lena Wallner | University of Vienna |
| Thilo Weinert | University of Vienna |
| Alexander Wendlinger | University of Vienna |
| Wolfgang Wohofsky | University of Vienna |
| Jindřich Zapletal | University of Florida |
| Lyubomyr Zdomskyy | University of Vienna |
Jindřich Zapletal (U of Florida, Gainesville): Algebra and the Axiom of Choice
July 4, 2022 11:15 — 11:45
July 4, 2022 11:15 — 11:45
François Le Maître (U Paris-Diderot): Global aspects of transitive actions of free groups and Baumslag Solitar groups
July 5, 2022 11:45 — 12:15
July 5, 2022 11:45 — 12:15
David Aspero (U of East Anglia, Norwich): On forcibility of $\Sigma_2$ sentences over $L(V_\delta)$
July 6, 2022 11:00 — 11:30
July 6, 2022 11:00 — 11:30
Alan Dow (UNC Charlotte): Pseudo-intersections and a variant of matrix forcing
July 7, 2022 09:45 — 10:15
July 7, 2022 09:45 — 10:15
Grigor Sargsyan (Polish Academy of Science, Warsaw): There are no long sequences of definable sets of reals.
July 7, 2022 11:00 — 11:30
July 7, 2022 11:00 — 11:30
Anton Bernshteyn (GATECH, Atlanta): Constructing equivariant maps to free (and almost free) subshifts
July 7, 2022 15:15 — 15:45
July 7, 2022 15:15 — 15:45
William Chan (Carnegie Mellon U, Pittsburgh): A Survey of Cardinalities under Determinacy
July 8, 2022 15:30 — 16:00
July 8, 2022 15:30 — 16:00
Asger Törnquist (U of Copenhagen): Regularity properties and mad families in higher dimensions
July 8, 2022 16:15 — 16:45
July 8, 2022 16:15 — 16:45
At a glance
- Type:
- Workshop
- When:
- July 4, 2022 — July 8, 2022
- Where:
- ESI Boltzmann Lecture Hall
- Organizer(s):
-
Jörg Brendle (Kobe U)
Vera Fischer (U of Vienna)
Sy David Friedman (U of Vienna)
- More:
- Website