The real reach of the constructible universe
- đ¤ Speaker: Professor A.R.D. Mathias đ Website
- đ Date & Time: Friday 21 November 2014, 14:00 - 15:00
- đ Venue: MR11
Abstract
The universe L of constructible sets is a class model of ZFC , the Generalized Continuum Hypothesis, Diamond, and the Axiom of Constructibility V = L. It is the minimal inner model of set theory within an ambient universe V. Yet despite this minimality property, and the possibility of non-constructible reals in V, every real number is an element of a model 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 grasp in the manner described.
Series This talk is part of the ok261's list series.
Included in Lists
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)



Friday 21 November 2014, 14:00-15:00