Form equivalence class Howard-Rubin Number: 118
Statement: If \((X,\le)\) is a complete linear order, then theorder topology on \(X\) is effectively normal. Morillon [1988]and Note 71.
Howard-Rubin number: 118 P
Citations (articles):
Connections (notes):
References (books):
Back