Classifying the provably total set functions of KP and KP(P)

Jacob Cook, Michael Rathjen

This article is concerned with classifying the provably total set-functions of Kripke-Platek set theory, KP, and Power Kripke-Platek set theory, KP(P), as well as proving several (…