Form equivalence class Howard-Rubin Number: 8
Statement: \(PC(\infty,\infty,\infty)\): Every infinite family ofnon-empty sets has an infinite subfamily with a choice function.Brunner [1983b].
Howard-Rubin number: 8 A
Citations (articles):
Connections (notes):
References (books):
Back