[FOM] DC vs. CC

Robert Lubarsky lubarsky.robert at comcast.net
Sat Aug 25 07:10:16 EDT 2012

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20120825/99054d4c/attachment.html>

More information about the FOM mailing list