Statement:
\(C(\infty,\aleph_{1})\): If \((\forall y\in X)(|y| = \aleph_{1})\) then \(X\) has a choice function.
Howard_Rubin_Number: 213
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:
Pincus-1977a: Adding dependent choice
Book references
Note connections: