Hypothesis: HR 214:
\(Z(\omega)\): For every family \(A\) of infinite sets, there is a function \(f\) such that for all \(y\in A\), \(f(y)\) is a non-empty subset of \(y\) and \(|f(y)|=\aleph_{0}\).
Conclusion: HR 330:
\(MC(WO,WO)\): For every well ordered set \(X\) of well orderable sets such that for all \(x\in X\), \(|x|\ge 1\), there is a function \(f\) such that for every \(x\in X\), \(f(x)\) is a finite, non-empty subset of \(x\). (See Form 67.)
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M29\) Pincus' Model II | Pincus constructs a generic extension \(M[I]\) of a model \(M\) of \(ZF +\) class choice \(+ GCH\) in which \(I=\bigcup_{n\in\omega}I_n\), \(I_{-1}=2\) and \(I_{n+1}\) is a denumerable set of independent functions from \(\omega\) onto \(I_n\) |
Code: 3
Comments: