Statement:
A Form of Restricted Choice for Families of Finite Sets: For every infinite set \(A\), \(A\) has an infinite subset \(B\) such that for every \(n\in\omega\), \(n>0\), the set of all \(n\) element subsets of \(B\) has a choice function. De la Cruz/Di Prisco [1998b]
Howard_Rubin_Number: 11
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
Note connections: