Recent Advances in Core Model Theory
December 13 to December 17, 2004
AIM Research Conference Center, Palo Alto, CA

Organizers:
John Steel and Ernest Schimmerling

Workshop topics:
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. 

Application deadline:
September 13, 2004  

For more information:
http://aimath.org/ARCC/workshops/coremodel.html