The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice

DOI10.1002/MALQ.19960420133MaRDI QIDQ4888349zbMATH OpenOpenAlexFDO

Authors Jean E. Rubin, Paul Howard

Publication date 29 January 1997

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19960420133

zbMATH Keywords

independencepermutation modelsBoolean prime ideal theoremcountable axiom of choiceprinciple of dependent choicedependent multiple choice

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)

Recommendations

• A proof of the independence of the axiom of choice from the Boolean prime ideal theorem.
• The axiom of choice for well-ordered families and for families of well-orderable sets
• scientific article; zbMATH DE number 1889711
• MA(ℵ0) restricted to complete Boolean algebras and choice
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic

Cites work

• The axiom of choice

Cited in

(6)

• A characterization of the Boolean prime ideal theorem in terms of forcing notions
• The Boolean prime ideal theorem does not imply the extension of almost disjoint families to MAD families
• Finiteness conditions and distributive laws for Boolean algebras
• MA(ℵ0) restricted to complete Boolean algebras and choice
• Set theory and the analyst
• A proof of the independence of the axiom of choice from the Boolean prime ideal theorem.

This page was built for publication: The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4888349)