Logic seminar
Systems of second order arithmetic and well-ordering principles, Part 3
Fedor Pakhomov
Institute of Mathematics
Monday, 9. December 2019 - 13:30 to 15:00
in IM, rear building, ground floor
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.