Code
01D25921
Duration
11 April 2022 → 10 April 2026
Funding
Regional and community funding: Special Research Fund
Promotor
Fellow
Research disciplines
-
Natural sciences
- Mathematical logic and foundations
Keywords
ordinal analysis
provability logics
ordinal notation systems
independence results
Project description
This proposal continues a contemporary line of research in the use of provability logics in the ordinal analysis of mathematical theories. Our aim is to investigate the properties of the provability logics used to describe ordinal notation systems for impredicative ordinals, and to use them to specify statements independent of the corresponding impredicative theories.