BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Forcing failures of covering in HOD - Friedman\, S (City Universit
 y of New York)
DTSTART:20150825T130000Z
DTEND:20150825T133000Z
UID:TALK60448@talks.cam.ac.uk
CONTACT:42080
DESCRIPTION:Inspired by questions about the HOD dichotomy\, we consider ho
 w and in what manner we can force HOD  to be "far from V". Our initial res
 ult is an equiconsistency in ZFC between a model with a proper class of me
 asurable cardinals and HOD and V agreeing on the cardinals yet disagreeing
  on the cofinality of a proper class of cardinals.\n
LOCATION:Seminar Room 2\, Newton Institute Gatehouse
END:VEVENT
END:VCALENDAR