Hypothesis: HR 0: \(0 = 0\).
Conclusion: HR 38:
\({\Bbb R}\) is not the union of a countable family of countable sets.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M9\) Feferman/Levy Model | Assume the ground model, \(\cal M\), satisfies \(ZF + GCH\) (the <strong>Generalized Continuum Hypothesis</strong>) |
Code: 3
Comments: