slideshow 3

Logic seminar

Systems of second order arithmetic and well-ordering principles, Part 2

Fedor Pakhomov
Institute of Mathematics


Monday, 2. 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.