Form equivalence class Howard-Rubin Number: 118
Statement: Every complete linear order has an increasing choicefunction. Morillon [1987] and Note 71.
Howard-Rubin number: 118 T
Citations (articles):
Connections (notes):
References (books):