Form equivalence class Howard-Rubin Number: 8
Statement: \(PC(\aleph_{0},\infty,\infty)\): Every denumerablefamily of non-empty sets has an infinite subfamily with a choicefunction. Monro [1975].
Howard-Rubin number: 8 B
Citations (articles):
Connections (notes):
References (books):
Back