Implications

We have the following indirect implication of form equivalence classes:

297 \(\Rightarrow\) 299
given by the following sequence of implications, with a reference to its direct proof:

Implication Reference
297 \(\Rightarrow\) 299 Some propositions equivalent to the Sikorski extension theorem for Boolean algebras, Bell, J.L. 1988, Fund. Math.

Here are the links and statements of the form equivalence classes referenced above:

Howard-Rubin Number Statement
297:

Extremally disconnected compact Hausdorff spaces are projective in the category of all compact Hausdorff spaces.

299:

Any extremally disconnected compact Hausdorff space is projective in the category of Boolean topological spaces.

Comment:

Back