Form equivalence class Howard-Rubin Number: 118
Statement: For each complete linear order, each pairwisedisjoint collection of non-empty, convex, open subsets has a choicefunction. van Douwen [1985].
Howard-Rubin number: 118 B
Citations (articles):
Connections (notes):
References (books):
Back