Form equivalence class Howard-Rubin Number: 173
Statement:
MML: Metric spaces are meta-Lindelöf.
Howard-Rubin number: 173 A
Citations (articles):
Howard/Rubin/Stanley/Keremedis [2000a]
Paracompactness of metric spaces and the axiom of choice
Connections (notes):
Note [141]
Definitions for various forms
References (books):
Back