The Provably Total Set-Recursive Functions of KPl
Using relativized ordinal analysis, we give a proof-theoretic characterization of the provably total set-recursive-from-$ω$ functions of KPl and related theories.
math.LO↗
arXiv subjects
Anton Fernández
Publications and source records attributed to Anton Fernández.