Form equivalence class Howard-Rubin Number: 118
Statement: For each complete linear order, the set of non-emptyconvex subsets has a choice function. van Douwen [1985].
Howard-Rubin number: 118 A
Citations (articles):
Connections (notes):
References (books):
Back