We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
30 \(\Rightarrow\) 293 | clear |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
30: | Ordering Principle: Every set can be linearly ordered. |
293: | For all sets \(x\) and \(y\), if \(x\) can be linearly ordered and there is a mapping of \(x\) onto \(y\), then \(y\) can be linearly ordered. |
Comment: