#
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.