Forcing failures of covering in HOD

Add to your list(s) Download to your calendar using vCal

• Friedman, S (City University of New York)
• Tuesday 25 August 2015, 14:00-14:30
• Seminar Room 2, Newton Institute Gatehouse.

If you have a question about this talk, please contact webseminars.

Mathematical, Foundational and Computational Aspects of the Higher Infinite

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.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 2, Newton Institute Gatehouse
• bld31

Note that ex-directory lists are not shown.