We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
58 ⇒ 0 |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
58: |
There is an ordinal α such that ℵ(2ℵα)≠ℵα+1. (ℵ(2ℵα) is Hartogs' aleph, the least ℵ not ≤2ℵα.) |
0: | 0=0. |
Comment: