2 citations · 4 across the 9 of their papers we have counts for
1 paper · 2 filters
Juan Pablo Aguilera, Anton Fernández, Joost J. Joosten
Using relativized ordinal analysis, we give a proof-theoretic characterization of the provably total set-recursive-from-ω functions of KPl and related theories.