We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
147 \(\Rightarrow\) 91 |
The axiom of choice in topology, Brunner, N. 1983d, Notre Dame J. Formal Logic note-26 |
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 |
---|---|
147: | \(A(D2)\): Every \(T_2\) topological space \((X,T)\) can be covered by a well ordered family of discrete sets. |
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: