Statement:
(For \(n\in\omega\), \(n\ge 2\).) \(PC(\infty,n,\infty)\): Every infinite family of \(n\)-element sets has an infinite subfamily with a choice function. (See Form 166.)
Howard_Rubin_Number: 342-n
Parameter(s): This form depends on the following parameter(s): \(k\), \(k\): integer \( > 1 \)
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\))