Hypothesis: HR 14:
BPI: Every Boolean algebra has a prime ideal.
Conclusion: HR 384:
Closed Filter Extendability for \(T_1\) Spaces: Every closed filter in a \(T_1\) topological space can be extended to a maximal closed filter.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M40(\kappa)\) Pincus' Model IV | The ground model \(\cal M\), is a model of \(ZF +\) the class form of \(AC\) |
Code: 3
Comments: