About
Trends in Proof Theory is a workshop–meeting hybrid focusing on topics of current interest in Proof Theory. Topics include, but are not limited to:
- Higher-type proof theory and higher-type proof-theoretic analysis;
- Proof-theoretic classification of theories and their consequences;
- Combinatorial principles and independence results;
- WQO and BQO theory;
- Models of systems of arithmetic;
- Provability algebras and reflection principles;
- Reverse Mathematics;
- Recursive analogs of large cardinals and reflecting ordinals;
- Interactions with other areas of Logic and Mathematics;
- Any other topics of relevance to the above and to FWF project ESP-3.
Talks are planned with low density and announced on short notice, allowing for focus on discussions and collaborations.
On the first Wednesday, February 7th, we will have a Weiermanntag on the occasion of Andreas' birthday. The talks this day will be less specialized and relate to Andreas' research interests.
Registration is free but mandatory, due to the restricted capacity of the rooms.
Organizers
- Juan Aguilera (Vienna, Ghent)
- Anton Freund (Würzburg)
- Fedor Pakhomov (Ghent, Moscow)
Program
(Subject to change until February 17th)
Monday 5
10:00 – 10:10. Opening
10:10 – 11:10. Pakhomov
11:25 – 12:25. Pakhomov
14:00. Week 1 open problem session chaired by Pacheco
Tuesday 6
10:00 – 11:00. Pakhomov
11:15 – 12:15. Pakhomov
Wednesday 7
Weiermanntag – on the occasion of Andreas Weiermann's 15th birthday.
10:00 – 10:15. Introduction
10:15 – 11:15. Baaz
11:30 – 12:32. Soldà
14:30 – 15:30. Aschenbrenner
15:45 – 16:45. S. Friedman
17:00 – 18:00. Aguilera
19:00. Dinner
Thursday 8
10:00–11:00. Kouptchinsky
11:15–12:15. Kouptchinsky
14:00–15:00. Pakhomov
Friday 9
10:00–11:00. Pacheco
11:15–12:15. Weiermann
Monday 12
10:00–11:00. Sanders
11:15–12:15. Sanders
14:00. Week 2 open problem session chaired by Pacheco.
Tuesday 13
10:00–11:00. Uftring
11:15–12:15. Manca
Wednesday 14
10:00–11:00. Lazar
11:15–12:15. Sanders
Thursday 15
10:00–11:00. Kołodziejczyk
11:15–12:15. Kołodziejczyk
14:00–15:00. Kołodziejczyk
15:30–16:30. Kołodziejczyk
Friday 16
10:00–11:00. Степанов
11:15–12:15. Freund
Participants
- F. Achammer (Vienna)
- J. P. Aguilera (Vienna, Ghent)
- M. Aschenbrenner (Vienna)
- M. Baaz (Vienna)
- A. D. Chopra (Ghent)
- A. Freund (Würzburg)
- S. Friedman (Vienna)
- P. Gruza (Warsaw)
- M. Iannella (Vienna)
- J. Joosten (Barcelona)
- V. Lazar (Ghent)
- T. Kouptchinsky (Vienna)
- K. Kowalik (Warsaw)
- L. Kołodziejczyk (Warsaw)*
- D. Manca (Würzburg)
- L. Pacheco (Vienna)
- F. Pakhomov (Ghent, Moscow)
- Κ. Παπαφιλίπου (Γάνδη)
- P. Provenzano (Ghent)
- S. Sanders (Bochum)
- G. Soldà (Ghent)
- Г. Степанов (Вена)
- C. Switzer (Vienna)
- P. Uftring (Würzburg)
- A. Weiermann (Ghent)
© 2019–2024 All rights reserved. Photographs not on the home page are © FWF/Ulrich Zinell, Gerd Schneider, Klaus Ranger.
Cookie Policy
This website uses cookies. By continuing to use this site, you accept our use of cookies.