The Core Model Induction
and Other Inner Model Theoretic Tools
and Other Inner Model Theoretic Tools
Schedule
Here is the tentative schedule of the meeting. If necessary, it will
be adapted during the meeting depending on the progress made and
feedback given by the participants.
We use the following abbreviations for the tutorials:
DS for "Determinacy and Scales",
PFIMT for "Prikry-type Forcings and Inner Model Theory",
FSCM for "Fine Structure and the Core Model",
CMI for "The Core Model Induction", and
HOD for "HOD Computations".
Moreover, "disc" indicates a discussion session.
Week 1
In the first week the lectures will take place in room Hill 705, Hill
Center Building, Busch Campus.
| Time | Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|---|
| 9:00 - 10:00 | Introduction Sargsyan |
DS Wilson |
DS Wilson |
DS Wilson |
DS Wilson |
| 10:00 - 10:30 | Coffee break | ||||
| 10:30 - 11:30 | Introduction Sargsyan |
DS (disc) Wilson |
PFIMT Ben-Neria |
DS (disc) Wilson |
CMI Trang |
| 11:30 - 1:30 | Lunch break | ||||
| 1:30 - 2:30 | FSCM Zeman |
FSCM Zeman |
FSCM Zeman |
FSCM Zeman |
CMI (disc) Trang |
| 2:30 - 3:00 | Coffee break | ||||
| 3:00 - 4:00 | CMI Trang |
CMI Trang |
CMI Trang |
CMI Trang |
Party |
| 4:00 - 4:30 | Coffee break | ||||
| 4:30 - 5:30 | CMI (disc) Trang |
CMI (disc) Trang |
CMI (disc) Trang |
CMI (disc) Trang |
Party |
Week 2
On the first day of the second week the lectures will take place in
room Sec 204, Science & Engineering Resource Center (T. Alexander
Pond), Busch Campus. The rest of the week will be in room Hill 705,
Hill Center Building, Busch Campus. Parallel Sessions will be in Sec
204.| Time | Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|---|
| 9:00 - 10:00 | HOD Müller |
HOD Müller |
FSCM Zeman |
PFIMT Ben-Neria |
PFIMT Ben-Neria |
| 10:00 - 10:30 | Coffee break | ||||
| 10:30 - 11:30 | PFIMT Ben-Neria |
FSCM Zeman |
FSCM Zeman |
FSCM Zeman |
FSCM Zeman |
| 11:30 - 1:30 | Lunch break | ||||
| 1:30 - 2:30 | FSCM Zeman |
Gen. it. Gappo |
PFIMT Ben-Neria |
CMI Sargsyan Chan DST & Det |
HOD Müller |
| 2:30 - 3:00 | Coffee break | ||||
| 3:00 - 4:00 | PFIMT (disc) Ben-Neria |
DS Wilson |
Zipper Siskind |
HOD Müller |
HOD Müller Chan DST & Det |
| 4:00 - 4:30 | Coffee break | ||||
| 4:30 - 5:30 | CMI Sargsyan Nielsen Overview CMI |
DS (disc) Wilson Nielsen Overview CMI |
CMI Sargsyan Chan DST & Det |
HOD (disc) Müller |
Summary Sargsyan |
Abstracts for the parallel talks:
Dan Saattrup Nielsen, How does it all fit together?
Since there are many different technical aspects to the core model induction, it might be hard to see the big picture of what's actually going on, and how these technical pieces fit together. I'll attempt to give a bird's eye view of the core model induction at least up to $AD^L(\mathbb{R})$ and, maybe, push the intuition a tad further as well. As this is specifically a non-technical talk there will be no proofs, but many pictures.
William Chan, Descriptive Set Theory and Determinacy
Prewellorderings, scales, periodicity theorems, partition properties. Accessible with very minimal background in set theory or descriptive set theory.
Back to the main page.
If you have any questions, please contact the organizers: Sandra Müller and Grigor Sargsyan.