Statement:
\(PC(\infty,2,\infty)\): Every infinite family of pairs has an infinite subfamily with a choice function.
Howard_Rubin_Number: 166
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:
Brunner-1982a: Dedekind-Endlichkeit und Wohlordenbarkeit
Book references
Note connections: