Title: On the strength of the Sikorski extension theorem for Boolean algebras
Abstract: 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 theorem BPI : 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.
Publication Year: 1983
Publication Date: 1983-09-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 8
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot