Hypothesis: HR 32:
\(C(\aleph_0,\le\aleph_0)\): Every denumerable set of non-empty countable sets has a choice function.
Conclusion: HR 338:
\(UT(\aleph_0,\aleph_0,WO)\): The union of a denumerable number of denumerable sets is well orderable.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|
Code: 3
Comments: