Form equivalence class Howard-Rubin Number: 111
Statement:
\(C(WO,2)\): Every well ordered family of 2-element sets has a choice function.
Howard-Rubin number: 111 A
Citations (articles):
Connections (notes):
References (books):