Form equivalence class Howard-Rubin Number: 18
Statement: \(PUT(WO,2,WO)\): The union of an infinite well orderedfamily of pairwise disjoint pairs has an infinite well ordered subset.([18 D \(\leftrightarrow\) 18)
Howard-Rubin number: 18 D
Citations (articles):
Connections (notes):
References (books):
Back