Form equivalence class Howard-Rubin Number: 94
Statement:
The discrete topology on \(\omega\) is Lindelöf.
Howard-Rubin number: 94 A
Citations (articles):
Brunner [1982d]
Lindelöf Raume und Auswahlaxiom (English Summary)
Connections (notes):
Note [40]
Equivalents of Form 94
References (books):
Back