Types on stable Banach spaces
We prove a geometric characterization of Banach space stability. We show that a Banach space X is stable if and only if the following condition holds. Whenever is an ultrapower of X and B is a ball in , the intersection B ∩ X can be uniformly approximated by finite unions and intersections of balls in X; furthermore, the radius of these balls can be taken arbitrarily close to the radius of B, and the norm of their centers arbitrarily close to the norm of the center of B. The preceding condition...