Statement:
A linear ordering of a set \(P\) is a well ordering if and only if \(P\) has no infinite descending sequences. Jech [1973b], p 23.
Howard_Rubin_Number: 77
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Book references
The Axiom of Choice, Jech, T., 1973b
Note connections:
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 77 A | If a linearly ordered set \((X,\le)\) has no greatest element then it has a subset of order type \(\omega\). |
Sierpiński [1918]
|