We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
116 \(\Rightarrow\) 116 |
Products of compact spaces in the least permutation model, Brunner, N. 1985a, Z. Math. Logik Grundlagen Math. |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
116: | Every compact \(T_2\) space is weakly Loeb. Weakly Loeb means the set of non-empty closed subsets has a multiple choice function. |
116: | Every compact \(T_2\) space is weakly Loeb. Weakly Loeb means the set of non-empty closed subsets has a multiple choice function. |
Comment: