Form equivalence class Howard-Rubin Number: 118
Statement: If \((X,\le)\) is a linear order, then the family\(\{A(a,b): a, b\in X \land a< b\}\) has a choice function. (\(A(a,b)\)denotes the set of continuous, order preserving functions from \(X\) into\([0,1]\) such that \(f(a)= 0\) and \(f(b) = 1\).) Morillon [1988]and Note 71.
Howard-Rubin number: 118 M
Citations (articles):
Connections (notes):
References (books):
Back