We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
422-n ⇒ 47-n | clear |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
422-n: | UT(WO,n,WO), n∈ω−{0,1}: The union of a well ordered set of n element sets can be well ordered. |
47-n: | If n∈ω−{0,1}, C(WO,n): Every well ordered collection of n-element sets has a choice function. |
Comment: