On the failure of two successive squares

Martin Zeman (UC Irvine)

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

Given a cardinal \kappa we consider the statement "\kappa is threadable + \square_\kappa fails". Assuming "CH + \kappa=\omega_2" or "2^\omega=\omega_2 + \kappa=\omega_3", a core model induction argument then yields "AD_R + \Theta is regular". This brings the results by Jensen-Schindler-Schimmerling-Steel one cardinal down. This is a joint work with Nam Trang.

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)