Arnold Beckmann, Samuel R. Buss, Sy-David Friedman, Moritz Müller and Neil Thapen
Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore: Volume 33, 2017, pp. 55-116
Publication year: 2017

This paper introduces bounded fragments of Kripke Platek set theory which characterise the Cobham Recursive Set Functions.