Statement:
RCh (Reflexive Compactness for Hilbert spaces): The closed unit ball of a Hilbert space is compact for the weak topology.
Howard_Rubin_Number: 412
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.