[FOM] DC vs. CC

[Ali Enayat]

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
Choice?

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>