Form equivalence class Howard-Rubin Number: 185
Statement:
If \(X\) is a linearly ordered set and there is neither an increasing nor a decreasing injection \(f:\omega\rightarrow X\), then \(X\) is finite.
Howard-Rubin number: 185 A
Citations (articles):
Hickman [1979a]
A class of near-finite order types
Connections (notes):
References (books):
Back