Form equivalence class Howard-Rubin Number:
10
Statement:
\(PUT(WO,<\aleph_0,WO)\): The union of an infinite wellordered set of pairwise disjoint finite sets has an infinite wellordered subset.
Howard-Rubin number:
10 N
Citations (articles):
Connections (notes):
References (books):
Back