21 citations · 43 across the 14 of their papers we have counts for
1 paper · 1 filter
Juan P. Aguilera, Fedor Pakhomov
We develop the abstract framework for a proof-theoretic analysis of theories with scope beyond ordinal numbers, resulting in an analog of Ordinal Analysis aimed at the study of the…