We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
179-epsilon \(\Rightarrow\) 144 | clear |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
179-epsilon: | Suppose \(\epsilon > 0\) is an ordinal. \(\forall x\), \(x\in W(\epsilon\)). |
144: | Every set is almost well orderable. |
Comment: