Form equivalence class Howard-Rubin Number: 9
Statement: Restricted Choice: For every infinite set \(X\) thereis an infinite \(Y\subseteq X\) such that the collection of non-emptysubsets of \(Y\) has a choice function. De la Cruz/Di Prisco [1998a].
Howard-Rubin number: 9 T
Citations (articles):
Connections (notes):
References (books):
Back