Analysis of Impredicative Provability Logics Ghent University
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.