We have the following indirect implication of form equivalence classes:
| Implication | Reference |
|---|---|
| 403 \(\Rightarrow\) 324 | clear |
| 324 \(\Rightarrow\) 327 | clear |
| 327 \(\Rightarrow\) 250 | clear |
| 250 \(\Rightarrow\) 47-n | clear |
| 47-n \(\Rightarrow\) 288-n | clear |
Here are the links and statements of the form equivalence classes referenced above:
| Howard-Rubin Number | Statement |
|---|---|
| 403: | \(KW(LO,WO)\), The Kinna-Wagner Selection Principle for a linearly ordered set of well orderable sets: For every linearly ordered set of well orderable sets \(M\) there is a function \(f\) such that for all \(A\in M\), if \(|A|>1\) then \(\emptyset\neq f(A)\subsetneq A\). |
| 324: | \(KW(WO,WO)\), The Kinna-Wagner Selection Principle for a well ordered family of well orderable sets: For every well ordered set \(M\) of well orderable sets, there is a function \(f\) such that for all \(A\in M\), if \(|A| > 1\) then \(\emptyset\neq f(A)\subsetneq A\). (See Form 15.) |
| 327: | \(KW(WO,<\aleph_0)\), The Kinna-Wagner Selection Principle for a well ordered family of finite sets: For every well ordered set \(M\) of finite sets there is a function \(f\) such that for all \(A\in M\), if \(|A|>1\) then \(\emptyset\neq f(A)\subsetneq A\). (See Form 15.) |
| 250: | \((\forall n\in\omega-\{0,1\})(C(WO,n))\): For every natural number \(n\ge 2\), every well ordered family of \(n\) element sets has a choice function. |
| 47-n: | If \(n\in\omega-\{0,1\}\), \(C(WO,n)\): Every well ordered collection of \(n\)-element sets has a choice function. |
| 288-n: | If \(n\in\omega-\{0,1\}\), \(C(\aleph_0,n)\): Every denumerable set of \(n\)-element sets has a choice function. |
Comment: