Form equivalence class Howard-Rubin Number: 34
Statement:
\(\omega_1\) with the order topology does not contain a countable discrete family of open subsets.
Howard-Rubin number: 34 D
Citations (articles):
Good/Tree [1995]
Continuing horrors of topology without choice
Connections (notes):
Note [107]
Good-Tree results
References (books):
Back