Linked from

The 4 pages that link to Boolean prime ideal theorem, each with the reason it gives.

• Compactness theoremRelated: In set theory, this choice principle is equivalent to compactness for first-order logic.

• Lindenbaum's lemmaRelated: Its algebraic extension principle parallels Lindenbaum extension and generalizes it beyond countable constructions.