No. 21 (2003): RS-21 Some Logical Metatheorems with Applications in Functional Analysis