Form equivalence class Howard-Rubin Number:
18
Statement:
\(PC(WO,2,\infty)\): Every infinite well orderedset of pairs has an infinite subset with a choice function.
Howard-Rubin number:
18 C
Citations (articles):
Connections (notes):
References (books):
Back