Boolean prime ideal theorem and the axiom of choice The Boolean prime ideal theorem is strictly stronger than ZF, and strictly weaker than ZFC. I'm looking for nice examples (like the existence of non-measurable set) that request at least that theorem (ZF+BPI), but weaker than AC (ZFC).
The context is that I'm trying to gain some intuition, but most literature I could get access to is very technical and being lost in the details I can't see the big picture. Any help (like examples or your intuition behind it) or references that provide examples would be greatly appreciated.

An example from topology: $\mathsf{BPI}$ is equivalent to the Tikhonov product theorem for compact Hausdorff spaces, while $\mathsf{AC}$ is equivalent to the full Tikhonov product theorem.
