Halpern, J. D.; Levy, A. 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 ReviewsCited in 33 Documents MSC: 03E25 Axiom of choice and related propositions 03E45 Inner models, including constructibility, ordinal definability, and core models Citations:Zbl 0215.326 PDFBibTeX XML