University of Cambridge > > ok261's list > The real reach of the constructible universe

The real reach of the constructible universe

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

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

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.

This talk is part of the ok261's list series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2023, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity