Hypothesis: HR 0: \(0 = 0\).
Conclusion: HR 247:
Every atomless Boolean algebra is Dedekind infinite. \ac{Plotkin} \cite{1976}, notes 86 and 94.
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: