Statement:
\(MC(\infty,WO)\): For every set \(M\) of well orderable sets such that for all \(x\in X\), \(|x|\ge 1\), there is a function \(f\) such that for every \(x\in X\), \(f(x)\) is a finite, non-empty subset of \(x\). (See Form 67.)
Howard_Rubin_Number: 329
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:
Howard-Rubin-Rubin-1997: Kinna-Wagner selection principles, axioms of choice, and multiple choice
Book references
Note connections: