Hypothesis: HR 0: \(0 = 0\).
Conclusion: HR 104:
There is a regular uncountable aleph. Jech [1966b], p 165 prob 11.26.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M17\) Gitik's Model | Using the assumption that for every ordinal \(\alpha\) there is a strongly compact cardinal \(\kappa\) such that \(\kappa >\alpha\), Gitik extends the universe \(V\) by a filter \(G\) generic over a proper class of forcing conditions |
Code: 3
Comments: