We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
164 \(\Rightarrow\) 91 |
Dedekind-Endlichkeit und Wohlordenbarkeit, Brunner, N. 1982a, Monatsh. Math. |
91 \(\Rightarrow\) 79 | clear |
79 \(\Rightarrow\) 371 | S´eminaire d’Analyse 1994, Morillon, 1993, |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
164: | Every non-well-orderable set has an infinite subset with a Dedekind finite power set. |
91: | \(PW\): The power set of a well ordered set can be well ordered. |
79: | \({\Bbb R}\) can be well ordered. Hilbert [1900], p 263. |
371: | There is an infinite, compact, Hausdorff, extremally disconnected topological space. Morillon [1993]. |
Comment: