Hypothesis: HR 51:
Cofinality Principle: Every linear ordering has a cofinal sub well ordering. Sierpi\'nski [1918], p 117.
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 M14\) Morris' Model I | This is an extension of Mathias' model, <a href="/models/Mathias-1">\(\cal M3\)</a> |
Code: 3
Comments: