[FOM] DC vs. CC

Kreinovich, Vladik vladik at utep.edu
Sat Aug 25 11:20:44 EDT 2012


This is cited, I think, in Paul Howard and Jean E. Rubin. Consequences of the axiom of choice. Providence, R.I.: American Mathematical Society, 1998.

From: fom-bounces at cs.nyu.edu [mailto:fom-bounces at cs.nyu.edu] On Behalf Of Robert Lubarsky
Sent: Saturday, August 25, 2012 5:10 AM
To: 'Foundations of Mathematics'
Subject: [FOM] DC vs. CC

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/c30b568e/attachment.html>

More information about the FOM mailing list