[FOM] DC vs. CC

Ali Enayat ali.enayat at gmail.com
Sat Aug 25 12:36:49 EDT 2012

This is a reply to a query of Robert Lubarsky (Aug 25) who has asked:

>>Does anyone have a reference for why Countable Choice does not imply Dependent

The independence of Dependent Choice from Countable Choice (and more) is
established in Theorem 8.12 (p.130) of Jech's book The Axiom of Choice
(reprinted by Dover publications in 2008).  This independence result was
established by Ronald Jensen in 1967 (and announced in the Notices of AMS).

Best regards,

Ali Enayat
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20120825/ab21573a/attachment.html>

More information about the FOM mailing list