Statement:
RC (Reflexive Compactness): The closed unit ball of a reflexive normed space is compact for the weak topology.
Howard_Rubin_Number: 410
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Delhomme-Morillon-2000: Dependent Choice and Weak Compactness
Book references
Note connections:
Note 23
Definitions for forms [14 Q], [52 E],
[52 N], and 410, 411, and 412.