Hypothesis: HR 0: \(0 = 0\).
Conclusion: HR 248:
For any \(\kappa\), \(\kappa\) is the cardinal number of an infinite complete Boolean algebra if and only if \(\kappa^{\aleph_0} = \kappa \).
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M33\) Plotkin's Model II | The construction is similar to the construction of <a href="/models/Plotkin-1">\(\cal M22\)</a> |
Code: 3
Comments: