[FOM] DC vs. CC

Andrej Bauer andrej.bauer at andrej.com
Sat Aug 25 14:56:55 EDT 2012

Look at Chapter 8 (in particular Section 8.2) of

   T. Jech, The Axiom of Choice, North-Holland, Amsterdam, 1973.

where permutation models of set theory are used to show that DC is not
implied by CC. Direct link to the relevant page:


A realizability model is very likely going to satisfy DC because all
you need to realize DC is a primitive recursion. Hmm, ok perhaps we
can fiddle with realizability. Does DC hold in extensional

With kind regards,


More information about the FOM mailing list