Domingos Canha Moreira dos Santos, Paulo Guilherme
(2023-12-22)
In this thesis, we study notions of provability, i.e. formulas B(x,y) such that a formula ' is provable in T if, and only if, there is m 2 N such that T ` B(p'q,m) (m plays the role of a parameter); the usual notion of ...