Hypothesis: HR 63:
\(SPI\): Weak ultrafilter principle: Every infinite set has a non-trivial ultrafilter.
Jech [1973b], p 172 prob 8.5.
Conclusion: HR 350:
\(MC(\aleph_0,\aleph_0)\): For every denumerable set \(X\) of non-empty denumerable sets there is a function \(f\) such that for all \(x\in X\), \(f(x)\) is a finite, non-empty subset of \(x\).
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal N41\) Another variation of \(\cal N3\) | \(A=\bigcup\{B_n; n\in\omega\}\)is a disjoint union, where each \(B_n\) is denumerable and ordered like therationals by \(\le_n\) |
Code: 5
Comments: