Form equivalence class Howard-Rubin Number: 34
Statement:
\(\omega_1\) with the order topology is not paracompact.
Howard-Rubin number: 34 B
Citations (articles):
Good/Tree [1995]
Continuing horrors of topology without choice
Connections (notes):
Note [107]
Good-Tree results
References (books):
Back