$\Sigma_1$-definability at higher cardinals

Philipp Lücke (U Hamburg)

Jun 30. 2025, 14:45 — 15:30

Motivated by the deep and canonical structure theory of simply definable sets of real numbers, set theorists have started to study simply definable sets of higher cardinalities. In this talk, I will present results demonstrating that the structural properties of definable sets of low complexity at higher cardinals closely reflect the combinatorial properties of these cardinals. I will focus on recent joint work with Omer Ben-Neria (Jerusalem) that uses definability to analyze the extent of Ramsey-theoretic properties of singular cardinals. 

Further Information
Venue:
ESI Schrödinger and Boltzmann Lecture Hall
Recordings:
Recording
Associated Event:
Reverse Mathematics (Thematic Programme)
Organizer(s):
Juan Aguilera (TU Vienna)
Linda Brown Westrick (Penn State U)
Noam Greenberg (Victoria U of Wellington)
Denis Hirschfeldt (U of Chicago)