Form equivalence class Howard-Rubin Number: 8
Statement: \(PUT(WO,\infty,WO)\): The union of an infinite wellordered set of pairwise disjoint non-empty sets has an infinite wellordered subset. ([8 U] \(\leftrightarrow\) [8 T])
Howard-Rubin number: 8 U
Citations (articles):
Connections (notes):
References (books):
Back