2 published verifications about Boolean Prime Ideal Theorem Boolean Prime Ideal Theorem ×
“The Boolean prime ideal theorem is equivalent, in Zermelo–Fraenkel set theory without the axiom of choice, to Tychonoff's theorem for compact Hausdorff spaces.”
The stated equivalence is a standard result of choice theory. In ZF, the Boolean prime ideal theorem—equivalently, the ultrafilter lemma—proves that products of compact Hausdorff spaces are compact, and that restricted form of Tychonoff’s theorem implies the Boolean prime ideal theorem. Authoritative mathematical sources support both directions.
“In set theory without the axiom of choice but assuming the Boolean prime ideal theorem, every product of nonempty compact Hausdorff spaces is nonempty.”
The Boolean prime ideal theorem suffices to guarantee that every product of nonempty compact Hausdorff spaces has a point. This is a standard choice-principle equivalence in ZF and is supported by direct and independent mathematical sources. It does not require the full axiom of choice.