Senior researchers will be invited to give tutorials which represent one of the branches of set theory:
Forcing
Infinite combinatorics
Applications of set theory
Inner model theory
Descriptive set theory
In addition, all participants will be asked to write a one-page statement about their research.
These statements will be made available to
all participants at the conference. Based on these statements, specific discussion sessions will
be formed for those working in similar areas and more general sessions for those interested
in getting an overview of the latest research in each branch of set theory.
Moreover, every senior researcher will be asked to lead a discussion session relating to the topic of his tutorial. This will be organised using sign-up sheets with suggested topics, but also leaving open the possibility of the formation of more spontaneous groups.
The meeting will consist of morning and afternoon sessions. The morning session (3 hours) will be reserved for the tutorials of the senior researchers. In the afternoon, participants will be organized into small groups for discussion sessions (2-3 hours) and the day will be concluded with a talk given by an outstanding postdoc (45 minutes).
During the discussion sessions there will be coffee and biscuits available.
See the table below for the programme details.
| Monday | Tuesday | |
| 7:45-9:00 | breakfast | breakfast |
9:00-9:45 |
Tutorial by Jouko Väänänen "Set theory and model-theoretic logics" part 1 | Tutorial by Jouko Väänänen "Set theory and model-theoretic logics" part 2 |
| 10:35-11:00 | coffee break | coffee break |
| 11:00-11:45 and 11:50-12:35 |
Tutorial by Alessandro Andretta "The axiom of determinacy and the Wadge hierarchy" part 1 | Tutorial by Alessandro Andretta "The axiom of determinacy and the Wadge hierarchy" part 2 |
| 12:45-14:00 | lunch break | lunch break |
| 14:00-17:00 | Discussion sessions | Discussion sessions |
| 17:00-18:00 | Talk by Natasha Dobrinen " The tree property at the double successor of a measurable" | Talk by David Asperó"Large cardinals and locally defined well–orders of the universe" |
| 19:00 | dinner | dinner |
| Wednesday | Thursday | |
| 7:45-9:00 | breakfast | breakfast |
9:00-9:45 |
Tutorial by Martin Goldstern"Real forcing"part 1 | Tutorial by Martin Goldstern"Real forcing"part 2 |
| 10:35-11:00 | coffee break | coffee break |
| 11:00-12:00 | Talk by Heike Mildenberger "Weak diamonds and the club principle" | Talk by Gunter Fuchs "From maximality principles via weak compactness to generic embeddings" |
| 12:00-14:00 | lunch break | lunch break |
| 14:00-17:00 | Discussion sessions | Discussion sessions |
| 17:00-18:00 | Talk by John Krueger "Variations of the Mitchell model" |
Talk tba |
| 19:00 | dinner | Social event |
a
| Friday | |
| 7:45-9:00 | breakfast |
9:00-10:00 |
Talk by Alex Hellsten "Is there weak compactness without inaccessibility?" |
| 10:00-10:30 | coffee break |
| 10:30-11:30 | Talk by Matteo Viale "Some applications of reflection principles to pcf theory" |
