Form equivalence class Howard-Rubin Number: 378
Statement:
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.
Howard-Rubin number: 378 A
Citations (articles):
De la Cruz/Di Prisco [1998a]
Weak choice principles
Connections (notes):
References (books):
Back