Conference Agenda

The sessions of the sections are highlighted in blue, those of the mini-symposia in yellow.

Please select a date or location to show only sessions at that day or location. If you click the selected day again, you return to the agenda overview.

You can also filter by sections or mini-symposia (topics). Please select a single session for detailed view with abstracts.

As participant you can create your own personal agenda. To do so, log into your account first. Then go to the agenda and click on the plus symbol to add sessions to your personal agenda.

Session

ML1: Mathematical Logic Location: G530 Session Chair: Anna De Mase Session Chair: Lothar Sebastian Krapp

Presentation 3

Reflection Principles in Set Theory and Proof Theory Hazel Brickhill Universität Konstanz, Germany Reflection principles within set theory are generally thought of as sharing little but the name with reflection principles in proof theory. Within a broader context of reflection phenomena, we can see that they do have more in common, but the challenge is to make this precise. In this talk I will explore similarities, both structural and motivational, between set theoretic reflection principles on the one hand and proof theoretic reflection principles on the other. This will also lead to an analysis of what makes these two families of principles different in type.