Statement:
\(MC(\aleph_0,\aleph_0)\): For every denumerable set \(X\) of non-empty denumerable sets there is a function \(f\) such that for all \(x\in X\), \(f(x)\) is a finite, non-empty subset of \(x\).
Howard_Rubin_Number: 350
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:
Keremedis-1996b: Some equivalents of \(AC\) in algebra
Book references
Note connections:
Note 132
The following definitions and results for forms [8 M], [8 N], [43 Q], [126 B] through [126 F] are from Keremedis [2000a].