Statement:
\(MC_\omega(\aleph_0,\infty)\): For every denumerable family \(X\) of pairwise disjoint non-empty sets, there is a function \(f\) such that for each \(x\in X\), f(x) is a non-empty countable subset of \(x\).
Howard_Rubin_Number: 131
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-Keremedis-Rubin-1998b: Disjoint unions of topological spaces and choice
Book references
Note connections: