General logical metatheorems for functional analysis (2008)

by Philipp Gerhardy, Ulrich Kohlenbach