We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
14 \(\Rightarrow\) 154 |
Kategoriesatze und multiples Auswahlaxiom, Brunner, N. 1983c, Z. Math. Logik Grundlagen Math. |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
14: | BPI: Every Boolean algebra has a prime ideal. |
154: | Tychonoff's Compactness Theorem for Countably Many \(T_2\) Spaces: The product of countably many \(T_2\) compact spaces is compact. |
Comment: