We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
332 \(\Rightarrow\) 343 |
Topologie, Analyse Nonstandard et Axiome du Choix, Morillon, M. 1988, Universit\'e Blaise-Pascal |
343 \(\Rightarrow\) 62 | clear |
62 \(\Rightarrow\) 102 | The Axiom of Choice, Jech, 1973b, page 162 problem 11.12 |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
332: | A product of non-empty compact sober topological spaces is non-empty. |
343: | A product of non-empty, compact \(T_2\) topological spaces is non-empty. |
62: | \(C(\infty,< \aleph_{0})\): Every set of non-empty finite sets has a choice function. |
102: | For all Dedekind finite cardinals \(p\) and \(q\), if \(p^{2} = q^{2}\) then \(p = q\). Jech [1973b], p 162 prob 11.12. |
Comment: