at the
American Institute of Mathematics, Palo Alto, California
organized by
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 will differ from typical conferences in some regards. Participants will be invited to suggest open problems and questions before the workshop begins, and these will be posted on the workshop website. These include specific problems on which there is hope of making some progress during the workshop, as well as more ambitious problems which may influence the future activity of the field. Lectures at the workshop will be focused on familiarizing the participants with the background material leading up to specific problems, and the schedule will include discussion and working sessions.
Participants include D. Aspero, A. Brooke-Taylor, E. Brown, A. Caicedo, E. Closson, J. Cummings, N. Dobrinen, M. Dzamonja, Q. Feng, M. Foreman, S. Friedman, G. Fuchs, M. Gitik, N. Greenberg, S. Jackson, R. Ketchersid, P. Koellner, P. Koepke, P. Larson, M. Magidor, W. Mitchell, I. Neeman, G. Sargsyan, E. Schimmerling, J. Steel, K. Thompson, J. Veldman, A. Walczak-Typke, P. Welch, H. Woodin, Y. Yoshinobu, J. Zapletal, M. Zeman, and S. Zoble.
The deadline to apply for support to participate in this workshop has passed.
Plain text announcement or brief announcement.
Go to the
American Institute of Mathematics.
Return to the
AIM Research Conference Center.