Hypothesis: HR 40:
\(C(WO,\infty)\): Every well orderable set of non-empty sets has a choice function. Moore, G. [1982], p 325.
Conclusion: HR 203:
\(C\)(disjoint,\(\subseteq\Bbb R)\): Every partition of \({\cal P}(\omega)\) into non-empty subsets has a choice function.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M2\) Feferman's model | Add a denumerable number of generic reals to the base model, but do not collect them |
Code: 3
Comments: