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