The Provably Total Set-Recursive Functions of KPl
arXiv:2510.14399
Abstract
Using relativized ordinal analysis, we give a proof-theoretic characterization of the provably total set-recursive-from- functions of KPl and related theories.
arXiv:2510.14399
Using relativized ordinal analysis, we give a proof-theoretic characterization of the provably total set-recursive-from- functions of KPl and related theories.