Project

Analysis of Impredicative Provability Logics

Code
01D25921
Duration
11 April 2022 → 10 April 2026
Funding
Regional and community funding: Special Research Fund
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.