Hypothesis: HR 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\).
Conclusion: HR 30:
Ordering Principle: Every set can be linearly ordered.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal N7\) L\"auchli's Model I | \(A\) is countably infinite |
Code: 3
Comments: