Statement:
\(\forall n\in \omega-\{o,1\}\), \(C(\aleph_0, n)\) : For every \(n\in \omega - \{0,1\}\), every denumerable set of \(n\) element sets has a choice function.
Howard_Rubin_Number: 423
Parameter(s): This form does not depend on parameters
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 |
---|---|---|
423 A | For all \(n\in\omega-\{0,1\}\), \(UT(\aleph_0,n,\aleph_0)\): For all \(n\in\omega-\{0,1\}\), The union of a denumerable set of pairwise disjoint \(n\)-element sets is denumerable. |
|