Logic seminar
Systems of second order arithmetic and well-ordering principles
Fedor Pakhomov
Institute of Mathematics
Monday, 18. November 2019 - 13:30 to 15:00
in IM, rear building, ground floor
In the present talk I'll give a brief introduction to systems of second-order arithmetic and the study of their proof-theoretic ordinals. Further the focus will be on well-ordering principles and the approach to ordinal analysis based on functorial ordinal notation systems.