Form equivalence class Howard-Rubin Number: 373-n
Statement:
\(PUT(WO,n,WO)\) for \(n\in\omega -\{0,1\}\): The union of an infinite well ordered set of pairwise disjoint \(n\)-element sets has an infinite well ordered subset.
Howard-Rubin number: 373 C-n
Citations (articles):
Connections (notes):
References (books):
Back