* J. D. Halpern, A. Lévy: The Boolean prime ideal theorem does not imply the axiom of choice, Axiomatic Set Theory, Symposia Pure Math., 1971, 83–134.
Levy: The Boolean prime ideal theorem does not imply the axiom of choice, Axiomatic Set Theory, Symposia Pure Math., 1971, 83-134.