Kohlenbach, U. Some Logical Metatheorems With Applications in Functional Analysis. BRICS 2003, 10.