[FOM] DC vs. CC
freer at math.mit.edu
Sat Aug 25 12:53:48 EDT 2012
On 25 August 2012 07:10, Robert Lubarsky <lubarsky.robert at comcast.net> wrote:
> Does anyone have a reference for why Countable Choice does not imply Dependent Choice? I saw the construction of a model of CC + not DC once in an article in I believe an LNM volume, but have not been able to find it again. Are there any realizability models of such around?
> Bob Lubarsky
There's a proof (due to Mostowski and Jech) in Chapter 8 (p. 123) of
Jech's book The Axiom of Choice.
More information about the FOM