Hypothesis: HR 49:
Order Extension Principle: Every partial ordering can be extended to a linear ordering. Tarski [1924], p 78.
Conclusion: HR 14:
BPI: Every Boolean algebra has a prime ideal.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal N52\) Felgner/Truss Model | Let \((\cal B,\prec)\) be a countableuniversal homogeneous linearly ordered Boolean algebra, (i.e., \(<\) is alinear ordering extending the Boolean partial ordering on \(B\)) |
Code: 5
Comments: