Statement:
(For \(n\in\omega\), \(n\ge 2\).) For every infinite set \(X\), there is an infinite \(Y \subseteq X\) such that the set of all \(n\)-element subsets of \(Y\) has a choice function.
Howard_Rubin_Number: 336-n
Parameter(s): This form depends on the following parameter(s): \(n\),
This form's transferability is: Transferable
This form's negation transferability is: Negation Transferable
Article Citations:
Book references
Note connections:
Note 111
Relationships between the forms Form 336(\(n\)) and Form 342(\(n\))