Recent Advances in Core Model Theory

December 13 to December 17, 2004

at the

American Institute of Mathematics, Palo Alto, California

organized by

John Steel and Ernest Schimmerling

Original Announcement

This workshop will be devoted to important recent results in core model theory due to Hugh Woodin, results whose proofs are not widely known and have not been published. One of these is Woodin's refutation of the Cofinal Branches Hypothesis (CBH). Another is his identification of HOD computed inside a model of AD+ with a new kind of inner model, constructed from extenders and iteration strategies.

Woodin has agreed to be the primary lecturer. Steel and possibly one or two others will exposit parts of Woodin's work or the material on which it rests. We hope that the wider dissemination of these developments will lead to further advances in one of the central programs in pure set theory: extending inner model theory to stronger large cardinal hypotheses.

Material from the workshop

A list of participants.

The workshop schedule.

A report on the workshop activities.

Some useful background material.