Kohlenbach, U. On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness. BRICS 1997, 4.