Unreachability in the Second Projective-Like Hierarchy

Derek Levinson (UCLA)

Jun 27. 2024, 11:15 — 12:00

For $\Gamma = \Sigma_{2n+3}(J_2(\mathbb{R}))$, we show there is no sequence of distinct sets in $\Gamma$ of length $\delta_\Gamma$. Our proof builds on the analysis of the mice $M_n^{ld}$ performed by Rudominer, Steel, and Woodin. This is joint work with Itay Neeman.

Further Information
Venue:
ESI Boltzmann Lecture Hall
Recordings:
Recording
Associated Event:
Determinacy, Inner Models and Forcing Axioms (Workshop)
Organizer(s):
Sandra Müller (TU Vienna)
Grigor Sargsyan (Polish Academy of Science, Warsaw)
Ralf Schindler (WWU Münster)
John Steel (UC, Berkeley)