Statement:
\(\forall n\in\omega\), \(PC(\infty,n,\infty)\): For every \(n\in\omega\), if \(C\) is an infinite family of \(n\) element sets, then \(C\) has an infinite subfamily with a choice function. De la Cruz/Di Prisco [1998b]
Howard_Rubin_Number: 73
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:
De la Cruz-Di Prisco-1998a: Weak choice principles
Book references
Set Theory: Techniques and Applications, Conference, Proceedings, 1998
Note connections: