Form equivalence class Howard-Rubin Number: 85
Statement:
\(C(\infty,\le\aleph_{0})\): Every family of non-empty countable sets has a choice function.
Howard-Rubin number: 85 A
Citations (articles):
Connections (notes):
References (books):