Statement:
\(Z(\omega)\): For every family \(A\) of infinite sets, there is a function \(f\) such that for all \(y\in A\), \(f(y)\) is a non-empty subset of \(y\) and \(|f(y)|=\aleph_{0}\).
Howard_Rubin_Number: 214
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:
Pincus-1977a: Adding dependent choice
Book references
Note connections: