University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Forcing failures of covering in HOD

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Forcing failures of covering in HOD

Download to your calendar using vCal

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

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:

Note that ex-directory lists are not shown.

Other lists

jer64's list Online: "please register here":https://protect-eu.mimecast.com/s/EEd9CpklwHlyO8WCDq6LA?domain=eventbrite.com Lecture Theatre, CRUK Cambridge Research Institute

Other talks

Dwarf Galaxies in the Local Universe CUSCRS and Renal Medicine The Inaccessible Game Title to be confirmed Whether and when: Split-population cure models of women's work and parity progression in Derbyshire, 1881-1911 Afternoon Break
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity