[FOM] DC vs. CC
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).
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM