We have the following indirect implication of form equivalence classes:
| Implication | Reference |
|---|---|
| 359 \(\Rightarrow\) 20 | clear |
| 20 \(\Rightarrow\) 101 |
Partition principles and infinite sums of cardinal numbers, Higasikawa, M. 1995, Notre Dame J. Formal Logic |
| 101 \(\Rightarrow\) 93 |
L’axiome de M. Zermelo et son rˆole dans la th´eorie des ensembles et l’analyse, Sierpi'nski, W. 1918, Bull. Int. Acad. Sci. Cracovie Cl. Math. Nat. Sur une proposition qui entraine l'existence des ensembles non mesurables, Sierpi'nski, W. 1947, Fund. Math. Zermelo's Axiom of Choice, Moore, [1982] |
Here are the links and statements of the form equivalence classes referenced above:
| Howard-Rubin Number | Statement |
|---|---|
| 359: | If \(\{A_{x}: x\in S\}\) and \(\{B_{x}: x\in S\}\) are families of pairwise disjoint sets and \( |A_{x}| \le |B_{x}|\) for all \(x\in S\), then \(|\bigcup_{x\in S}A_{x}| \le |\bigcup_{x\in S} B_{x}|\). |
| 20: | If \(\{A_{x}: x \in S \}\) and \(\{B_{x}: x \in S\}\) are families of pairwise disjoint sets and \( |A_{x}| = |B_{x}|\) for all \(x\in S\), then \(|\bigcup_{x\in S}A_{x}| = |\bigcup_{x\in S} B_{x}|\). Moore [1982] (1.4.12 and 1.7.8). |
| 101: | Partition Principle: If \(S\) is a partition of \(M\), then \(S \precsim M\). |
| 93: | There is a non-measurable subset of \({\Bbb R}\). |
Comment: