KOHLENBACH, U. On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness. BRICS Report Series, v. 4, n. 23, 23 Jan. 1997.