We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
60 \(\Rightarrow\) 323 | clear |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
60: |
\(C(\infty,WO)\): Every set of non-empty, well orderable sets has a choice function. |
323: | \(KW(\infty,WO)\), The Kinna-Wagner Selection Principle for a family of well orderable sets: For every 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.) |
Comment: