The Boolean Prime Ideal theorem does not imply the axiom of choice. Axiomatic Set Theory (1971)

by J D Halpern, A Levy
Venue:Proc. Symp, Pure Math. 13, Vol I, 83 – 134