Statement:
\(UT(WO,n,WO)\), \(n\in \omega-\{0,1\}\): The union of a well ordered set of \(n\) element sets can be well ordered.
Howard_Rubin_Number: 422-n
Parameter(s): This form depends on the following parameter(s): \(n\),
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Book references
Note connections:
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 422 A-n | 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. |
|