Form equivalence class Howard-Rubin Number: 10
Statement: \(PC(\aleph_{0},< \aleph_{0},\infty)\): Everydenumerable family of finite sets has an infinitesubfamily with a choice function. Brunner [1983b].
Howard-Rubin number: 10 E
Citations (articles):
Connections (notes):
References (books):
Back