Logic Seminar

James CummingsCarnegie Mellon University
HOD can be very far from V

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.