Hypothesis: HR 0: \(0 = 0\).
Conclusion: HR 234:
There is a non-Ramsey set: There is a set \(A\) of infinite subsets of \(\omega\) such that for every infinite subset \(N\) of \(\omega\), \(N\) has a subset which is in \(A\) and a subset which is not in \(A\).
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M5(\aleph)\) Solovay's Model | An inaccessible cardinal \(\aleph\) is collapsed to \(\aleph_1\) in the outer model and then \(\cal M5(\aleph)\) is the smallest model containing the ordinals and \(\Bbb R\) |
Code: 3
Comments: