Form equivalence class Howard-Rubin Number: 94
Statement:
Every second countable (pseudo)metric space is separable. Keremedis [1998b].
Howard-Rubin number: 94 K
Citations (articles):
Good/Tree [1995]
Continuing horrors of topology without choice
Connections (notes):
References (books):
Back