Statement:
\(C(\aleph_{1},\infty)\): Every set \(A\) of non-empty sets such that \(\vert A\vert = \aleph_{1}\) has a choice function. Moore, G. [1982], p. 202.
Howard_Rubin_Number: 39
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:
Sierpi'nski-1918: L’axiome de M. Zermelo et son rˆole dans la th´eorie des ensembles et l’analyse
Book references
Zermelo's Axiom of Choice, Moore, G.H., 1982
Note connections: