Logic Seminar
Wednesday, February 25, 2015 - 4:00pm
Malott 206
We will show it is consistent that $(\kappa^+)^\mathrm{HOD} < \kappa^+$ for every infinite cardinal $\kappa$. This exhibits a strong failure of weak covering. The proof uses supercompact Radin forcing.
Joint work with Sy Friedman and Mohammad Golshani.