We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
91 ⇒ 79 | clear |
79 ⇒ 94 | clear |
94 ⇒ 13 | The Axiom of Choice, Jech, 1973b, page 148 problem 10.1 |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
91: | PW: The power set of a well ordered set can be well ordered. |
79: | R can be well ordered. Hilbert [1900], p 263. |
94: | C(ℵ0,∞,R): Every denumerable family of non-empty sets of reals has a choice function. Jech [1973b], p 148 prob 10.1. |
13: | Every Dedekind finite subset of R is finite. |
Comment: