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 October 15, 2019. https://tidsskrift.dk/brics/article/view/18949.