We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
123 \(\Rightarrow\) 63 | clear |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
123: | \(SPI^*\): Uniform weak ultrafilter principle: For each family \(F\) of infinite sets \(\exists f\) such that \(\forall x\in F\), \(f(x)\) is a non-principal ultrafilter on \(x\). |
63: |
\(SPI\): Weak ultrafilter principle: Every infinite set has a non-trivial ultrafilter.
|
Comment: