We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
14 \(\Rightarrow\) 270 |
Restricted versions of the compactness theorem, Kolany, A. 1991, Rep. Math. Logic |
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. |
270: | \(CT_{\hbox{fin}}\): The compactness theorem for propositional logic restricted to sets of formulas in which each variable occurs only in a finite number of formulas. |
Comment: