[FOM] Recent Advances in Core Model Theory

David Farmer farmer at aimath.org
Tue Apr 27 21:51:32 EDT 2004

Workshop Announcement for FOM list:

              Recent Advances in Core Model Theory

                December 13 to December 17, 2004

   American Institute of Mathematics Research Conference Center

                      Palo Alto, California



This workshop, sponsored by AIM and the NSF, 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.

The workshop is organized by
John Steel and Ernest Schimmerling.

For more details please see the workshop announcement page:

Space and funding is available for a few more participants.
If you would like to participate, please apply by filling
out the on-line form (available at the link above) no later
than September 13, 2004. Applications are open to all, and
we especially encourage women, underrepresented minorities,
junior mathematicians, and researchers from primarily
undergraduate institutions to apply.

Before submitting an application, please read the ARCC
policies concerning participation and financial support
for participants.

AIM Research Conference Center (ARCC):

The AIM Research Conference Center (ARCC) will hosts focused
workshops in all areas of the mathematical sciences. ARCC
focused workshops are distinguished by their emphasis on
a specific mathematical goal, such as making progress on a
significant unsolved problem, understanding the proof of an
important new result, or investigating the convergence between
two distinct areas of mathematics.

For more information about ARCC, please visit

More information about the FOM mailing list