In this paper, we discuss the possibility of developing a nice i.e. first order theory for Banach spaces: the restrictions on the set of sentences for recent compactness arguments applied to Banach ...