Uniformly convex Banach spaces are reflexiveconstructively
We propose a natural definition of what it means in a constructive context for a Banach space to be reflexive, and then prove a constructive counterpart of the Milman-Pettis theorem that uniformly convex Banach spaces are reflexive.
banach space reflexivity constructive mathematics quasinorms pliancy uniform convexity 46s30 03f65