skip to content

Forcing failures of covering in HOD

Presented by: 
S Friedman City University of New York
Tuesday 25th August 2015 - 14:00 to 14:30
INI Seminar Room 2
Inspired by questions about the HOD dichotomy, we consider how and in what manner we can force HOD to be "far from V". Our initial result is an equiconsistency in ZFC between a model with a proper class of measurable cardinals and HOD and V agreeing on the cardinals yet disagreeing on the cofinality of a proper class of cardinals.
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons