We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
130 \(\Rightarrow\) 130 |
Realisierung und Auswahlaxiom, Brunner, N. 1984f, Arch. Math. (Brno) |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
130: | \({\cal P}(\Bbb R)\) is well orderable. |
130: | \({\cal P}(\Bbb R)\) is well orderable. |
Comment: