Form equivalence class Howard-Rubin Number: 43
Statement: Any partial order \((A,\le)\) with no infinitedescending chains is well founded, (that is, for all \(X\) such that\(\emptyset\neq X\subseteq A\), \(X\) has a minimal element.)Spector [1980] and Note 54.
Howard-Rubin number: 43 R
Citations (articles):
Connections (notes):
References (books):
Back