The Sikorski Extension Theorem [6] states that, for any Boolean algebra A and any complete Boolean algebra B, any homomorphism of a subalgebra of A into B can be extended to the whole of A. That is,Inj: Any complete Boolean algebra is injective (in the category of Boolean algebras).The proof of Inj uses the axiom of choice (AC); thus the implication AC → Inj can be proved in Zermelo-Fraenkel set theory (ZF). On the other hand, the Boolean prime ideal theoremBPI: Every Boolean algebra contains a prime ideal (or, equivalently, an ultrafilter)may be equivalently stated as:The two element Boolean algebra 2 is injective,and so the implication Inj → BPI can be proved in ZF.In [3], Luxemburg surmises that this last implication cannot be reversed in ZF. It is the main purpose of this paper to show that this surmise is correct. We shall do this by showing that Inj implies that BPI holds in every Boolean extension of the universe of sets, and then invoking a recent result of Monro [5] to the effect that BPI does not yield this conclusion.
Boolean negation and non-conservativity II: The variable-sharing property
