We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
181 ⇒ 8 | clear |
8 ⇒ 353 |
Disasters in metric topology without choice, Keremedis, K. 2002, Comment. Math. Univ. Carolinae |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
181: | C(2ℵ0,∞): Every set X of non-empty sets such that |X|=2ℵ0 has a choice function. |
8: | C(ℵ0,∞): |
353: | A countable product of first countable spaces is first countable. |
Comment: