We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
2 \(\Rightarrow\) 3 |
On successors in cardinal arithmetic, Truss, J. K. 1973c, Fund. Math. |
3 \(\Rightarrow\) 204 | clear |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
2: | Existence of successor cardinals: For every cardinal \(m\) there is a cardinal \(n\) such that \(m < n\) and \((\forall p < n)(p \le m)\). |
3: | \(2m = m\): For all infinite cardinals \(m\), \(2m = m\). |
204: | For every infinite \(X\), there is a function from \(X\) onto \(2X\). |
Comment: