Form equivalence class Howard-Rubin Number: 118
Statement: If \((X,\le)\) is a complete linear order then there isa choice function \(*\) for the family of non-empty open intervals of \(X\)such that if \(a,b,c\in X\) and either \((a,b)\ne \emptyset\) or\((b,c)\ne \emptyset\) then \(*((a,c)) \in \{ *((a,b)), *((b,c)), b,b^+\}\)(where \(b^+\) is the successor of \(b\) if it exists and \(b\)otherwise). Morillon [1987] and Note 71.
Howard-Rubin number: 118 S
Citations (articles):
Connections (notes):
References (books):
Back