Form equivalence class Howard-Rubin Number: 94
Statement:
Every separable metric space is Lindelöf.
Howard-Rubin number: 94 I
Citations (articles):
Good/Tree [1995]
Continuing horrors of topology without choice
Connections (notes):
Note [40]
Equivalents of Form 94
References (books):
Back