The Boolean prime ideal theorem does not imply the axiom of choice. (English) Zbl 0233.02024
Axiomatic Set Theory, Proc. Sympos. Pure Math. 13, Part I, 83-134 (1971).
MSC:
03E25 | Axiom of choice and related propositions |
03E45 | Inner models, including constructibility, ordinal definability, and core models |