Statement:
Restricted Choice for Families of Well Ordered Sets: For every infinite set \(X\) there is an infinite subset \(Y\) of \(X\) such that the family of non-empty well orderable subsets of \(Y\) has a choice function.
Howard_Rubin_Number: 378
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:
De la Cruz-Di Prisco-1998a: Weak choice principles
Book references
Note connections:
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 378 A | Restricted Choice for Families of Finite Sets: For every infinite set \(X\) there is an infinite subset \(Y\) of \(X\) such that the family of non-empty finite subsets of \(Y\) has a choice function. |
De la Cruz-Di Prisco-1998a
|