Form equivalence class Howard-Rubin Number: 8
Statement: \(PC(WO,\infty,\infty)\): Every infinite well orderedset of non-empty sets has an infinite subset with a choice function.([8 A] \(\to\) [8 S] \(\to\) [8 B])
Howard-Rubin number: 8 S
Citations (articles):
Connections (notes):
References (books):
Back