Statement:
\(MC(\infty,\infty,\hbox{ even})\): For every set \(X\) of sets such that for all \(x\in X\), \(|x|\ge 2\), there is a function \(f\) such that for every \(x\in X\), \(f(x)\) is a finite, non-empty subset of \(x\) and \(|f(x)|\) is even.
Howard_Rubin_Number: 334
Parameter(s): This form does not depend on parameters
This form's transferability is: Not Transferable
This form's negation transferability is: Negation Transferable
Article Citations:
Keremedis-1996a: Bases for vector spaces over the two element field and the axiom of choice
Book references
Note connections: