We have the following indirect implication of form equivalence classes:

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

Implication Reference
41 \(\Rightarrow\) 365 Zermelo's Axiom of Choice, Moore, 1982, table 5

Here are the links and statements of the form equivalence classes referenced above:

Howard-Rubin Number Statement
41:

\(W_{\aleph _{1}}\): For every cardinal \(m\), \(m \le \aleph_{1}\) or \(\aleph_{1}\le m \).

365:

For every uncountable set \(A\), if \(A\) has the same cardinality as each of its uncountable subsets then \(|A| = \aleph_1\).

Comment:

Back