Form equivalence class Howard-Rubin Number: 118
Statement: Each complete linear order admits an extreme choice,that is, if \((X,\le)\) is a linear order then there is a choice function \(f\)on the set of non-empty open interval of \(X\) with the property that for all\((a,b,c)\in X^3\) with \(a < b < c\), \(f((a,c))\in\{f((a,b)),b,f((b,c)) \}\).Morillon [1991a].
Howard-Rubin number: 118 G
Citations (articles):
Connections (notes):
References (books):
Back