The Boolean Prime Ideal Theorem Plus Countable Choice Do Not Imply Dependent Choice
From MaRDI portal
Publication:4888349
DOI10.1002/malq.19960420133zbMath0855.03028MaRDI QIDQ4888349
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
independence; permutation models; Boolean prime ideal theorem; countable axiom of choice; principle of dependent choice; dependent multiple choice
Related Items
The Boolean prime ideal theorem does not imply the extension of almost disjoint families to MAD families, Set theory and the analyst, Finiteness conditions and distributive laws for Boolean algebras
Cites Work