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 functions from \(X\) into \([0,1]\) suchthat \(f(a)= 0\) and \(f(b) = 1\).) Morillon [1988] and Note 71.
Howard-Rubin number: 118 N
Citations (articles):
Connections (notes):
References (books):
Back