Form equivalence class Howard-Rubin Number: 94
Statement: Partial Choice for Countable Families of Sets ofReals: Every countable family of non-empty sets of real numbers hasan infinite subset with a choice function. Sierpinski [1916].and Fraenkel/Bar Hillel [1958].
Howard-Rubin number: 94 N
Citations (articles):
Connections (notes):
References (books):
Back