Form equivalence class Howard-Rubin Number: 34
Statement:
\(\omega_1\) with the order topology is not weakly Lindelöf.
Howard-Rubin number: 34 E
Citations (articles):
Good/Tree [1995]
Continuing horrors of topology without choice
Connections (notes): Note [43]
These are definitions from Brunner [1982b] and results similar to the equivalence of [8 C] and [8 D] to Form 8 and [10 H] to Form 10. We also include some results from Brunner [1987b].
References (books):
Back