×

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

Citations:

Zbl 0215.326