Form equivalence class Howard-Rubin Number: 118
Statement: Every linearly ordered set of linear orders, eachof which is non-empty and conditionally complete, has a choice function.Morillon [1988], van Douwen [1985], and Note 71.
Howard-Rubin number: 118 I
Citations (articles):
Connections (notes):
References (books):
Back