Every proper lattice ideal of a Boolean algebra extends to a prime lattice ideal. More generally, an ideal disjoint from a lattice filter extends to a prime ideal still disjoint from that filter. This Boolean case of the Stone prime filter theorem is equivalent to the ultrafilter lemma over Zermelo–Fraenkel set theory and is weaker than the axiom of choice.
Articles by others on the same topic
The Boolean Prime Ideal Theorem (BPIT) is a statement in set theory and mathematical logic, specifically related to Boolean algebras and topology. It asserts that every Boolean algebra has a prime ideal. This theorem is significant in various areas of mathematics, including model theory and homological algebra. To unpack the notion further: 1. **Boolean Algebra**: A Boolean algebra is a mathematical structure that captures the essence of logical operations like AND, OR, and NOT.