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

DOI10.1002/MALQ.19960420133zbMATH Open0855.03028OpenAlexW2002271145MaRDI QIDQ4888349FDOQ4888349

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

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

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)

Cites Work

• The axiom of choice

Cited In (6)

• 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.
• A characterization of the Boolean prime ideal theorem in terms of forcing notions

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)