Implications

We have the following indirect implication of form equivalence classes:

351 \(\Rightarrow\) 350
given by the following sequence of implications, with a reference to its direct proof:

Implication Reference
351 \(\Rightarrow\) 350 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
351:

A countable product of metrizable spaces is metrizable.

350:

\(MC(\aleph_0,\aleph_0)\): For every denumerable set \(X\) of non-empty denumerable sets there is a function \(f\) such that for all \(x\in X\), \(f(x)\) is a finite, non-empty subset of \(x\).

Comment:

Back