Hypothesis: HR 144:
Every set is almost well orderable.
Conclusion: HR 206:
The existence of a non-principal ultrafilter: There exists an infinite set \(X\) and a non-principal ultrafilter on \(X\).
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M15\) Feferman/Blass Model | Blass constructs a model similar to Feferman's model, <a href="/models/Feferman-1">\(\cal M2\)</a> |
Code: 3
Comments: