Form equivalence class Howard-Rubin Number:
422-n
Statement:
For each \(i\), \(2\leq i\leq n\in \omega-\{0,1\}\), \(C(WO,i)\): Every well ordered family of \(i\)-element sets has a choice function.
Howard-Rubin number:
422 A-n
Citations (articles):
Connections (notes):
References (books):
Back