Form equivalence class Howard-Rubin Number: 94
Statement:
\(\Bbb R\) is hereditarily Lindelöf.
Howard-Rubin number: 94 C
Citations (articles):
Lindelof [1905]
Remarque sur un th'eor`eme fondamental de $la$ th'eorie des ensembles
Connections (notes):
Note [40]
Equivalents of Form 94
References (books):
Back