BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The real reach of the constructible universe - Professor A.R.D. Ma
 thias
DTSTART:20141121T140000Z
DTEND:20141121T150000Z
UID:TALK56392@talks.cam.ac.uk
CONTACT:31089
DESCRIPTION:The universe L of constructible sets is a class model of ZFC\,
  the Generalized Continuum Hypothesis\, Diamond\, and the Axiom of Constru
 ctibility V = L. It is the minimal inner model of set theory within an amb
 ient universe V. Yet despite this minimality property\, and the possibilit
 y of non-constructible reals in V\, every real number is an element of a m
 odel of ZFC + V = L. The talk will introduce L\, its definition and basic 
 properties\, and sketch the proof that its reach can and does exceed its g
 rasp in the manner described.
LOCATION:MR11
END:VEVENT
END:VCALENDAR