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 April 20, 2024. https://tidsskrift.dk/brics/article/view/18949.