Form equivalence class Howard-Rubin Number: 1
Statement:
There is a set \(S\) such that \(SVC\) holds with \(S\) and such that \({\cal P}(S) - \{\emptyset\}\) has a choice function. Also see Form 191.
Howard-Rubin number: 1 AE
Citations (articles):
Blass [1979]
Injectivity, projectivity and the axiom of choice
Connections (notes):
Note [59]
Form 191 implies Form 182
References (books):
Back