Form equivalence class Howard-Rubin Number:
10
Statement:
\(PC(WO,<\aleph_0,\infty)\): Every infinite wellordered family of finite sets has an infinite subset with achoice function.
Howard-Rubin number:
10 O
Citations (articles):
Connections (notes):
References (books):
Back