The Provably Total Set-Recursive Functions of KPl
Logic
2025-10-17 v1
Abstract
Using relativized ordinal analysis, we give a proof-theoretic characterization of the provably total set-recursive-from- functions of KPl and related theories.
Cite
@article{arxiv.2510.14399,
title = {The Provably Total Set-Recursive Functions of KPl},
author = {Juan Pablo Aguilera and Anton Fernández and Joost J. Joosten},
journal= {arXiv preprint arXiv:2510.14399},
year = {2025}
}