Kohlenbach, Ulrich. “On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness”. BRICS Report Series 4, no. 23 (January 23, 1997). Accessed January 19, 2026. https://tidsskrift.dk/brics/article/view/18949.