The Provably Total Set-Recursive Functions of KPl

2025/10/16 by Aguilera, Juan Pablo, Fernández, Anton, Joosten, Joost J.
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/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.

Related

• Classifying the provably total set functions of KP and KP(P)
• Kreisel-Lévy-type theorems for Kripke-Platek and other set theories
• Ordinal Recursion Theory
• The Theory of Sets of Ordinals
• Cut-elimination for ω₁