Form equivalence class Howard-Rubin Number: 373-n
Statement:
(For \(n\in\omega\), \(n\ge 2\).) \(PC(WO,n,\infty)\): Every infinite well ordered set of \(n\)-element sets has an infinite subset with a choice function.
Howard-Rubin number: 373 A-n
Citations (articles):
Connections (notes):
References (books):
Back