We work in set-theory without the Axiom of Choice ZF. We prove that the principle of Dependent Choices (DC) implies that the closed unit ball of a uniformly convex Banach space is weakly compact, and in particular, that the closed unit ball of a Hilbert space is weakly compact. These statements are not provable in ZF, and the latter statement does not imply DC. Furthermore, DC does not imply th...
