Luminy – Hugh Woodin: Ultimate L (III)

For the first lecture, see here.

For the second lecture, see here.

Luminy – Hugh Woodin: Ultimate L (II)

For the first lecture, see here.

Luminy – Hugh Woodin: Ultimate L (I)

The XI International Workshop on Set Theory took place October 4-8, 2010. It was hosted by the CIRM, in Luminy, France. I am very glad I was invited, since it was a great experience: The Workshop has a tradition of excellence, and this time was no exception, with several very nice talks. I had the chance to give a talk (available here) and to interact with the other participants. There were two mini-courses, one by Ben Miller and one by Hugh Woodin. Ben has made the slides of his series available at his website.

What follows are my notes on Hugh’s talks. Needless to say, any mistakes are mine. Hugh’s talks took place on October 6, 7, and 8. Though the title of his mini-course was “Long extenders, iteration hypotheses, and ultimate L”, I think that “Ultimate L” reflects most closely the content. The talks were based on a tiny portion of a manuscript Hugh has been writing during the last few years, originally titled “Suitable extender sequences” and more recently, “Suitable extender models” which, unfortunately, is not currently publicly available.

The general theme is that appropriate extender models for supercompactness should provably be an ultimate version of the constructible universe . The results discussed during the talks aim at supporting this idea.

Set theory seminar -Forcing axioms and inner models -Intermezzo

This posting complements a series of talks given at the Set Theory Seminar at BSU from September 12 to October 24, 2008. Here is a list of links to the talks in this series:

• First talk, September 12, 2008.
• Second talk, September 19, 2008.
• Third talk, September 26, 2008.
• Fourth talk, October 3, 2008.
• Fifth talk, October 10, 2008.
• Sixth talk, October 17, 2008.
• Seventh talk, October 24, 2008.

[Version of October 31.]

I’ll use this post to provide some notes about consistency strength of the different natural hierarchies that forcing axioms and their bounded versions suggest. This entry will be updated with some frequency until I more or less feel I don’t have more to add. Feel free to email me additions, suggestions and corrections, or to post them in the comments. In fact, please do.