Logic List Mailing Archive

ARCC Workshop "Recent Advances in Core Model Theory" (Palo Alto CA, Dec 2004)

----------------------------------------------------------------
              Recent Advances in Core Model Theory
----------------------------------------------------------------

                December 13 to December 17, 2004

   American Institute of Mathematics Research Conference Center

                      Palo Alto, California

         http://aimath.org/ARCC/workshops/coremodel.html


------------
Description:
------------

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:
http://aimath.org/ARCC/workshops/coremodel.html

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.