Statement:
\(C(WO,<\aleph_{0})\): Every well ordered set of non-empty finite sets has a choice function.
Howard_Rubin_Number: 122
Parameter(s): This form does not depend on parameters
This form's transferability is: Transferable
This form's negation transferability is: Negation Transferable
Article Citations:
Truss-1973a: Finite axioms of choice
Book references
Note connections:
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 122 A | \(UT(WO,<\aleph_{0},WO)\) (\(U_{\aleph_{0}}\)): The union of a well ordered set of finite sets is well orderable. (See note 27 for more information on \(UT(WO,\kappa ,WO)\), \(\kappa\) a well ordered cardinal. The proof that Form 122 implies [122 A] is similar to the proof given in Shannon [1988], p. 569) |
Howard-Brunner-1992
|