Hypothesis: HR 179-epsilon:
Suppose \(\epsilon > 0\) is an ordinal. \(\forall x\), \(x\in W(\epsilon\)).
Conclusion: HR 91:
\(PW\): The power set of a well ordered set can be well ordered.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M35(\epsilon)\) David's Model | In Cohen's model <a href="/models/Cohen-1">\(\cal M1\)</a>, define sets \(B_n=\{x\subset\omega: |x\ \Delta\ a_n| <\omega\vee |x\ \Delta\ \omega-a_n| \le\omega\}\) (where \(\Delta\) is the symmetric difference) |
Code: 3
Comments: