[FOM] DC is stronger than ACC

Rupert McCallum rupertmccallum at yahoo.com
Mon Jul 21 21:26:26 EDT 2008

I was wondering if anyone could possibly let me know where to find a proof that if ZF is consistent, then ZF+DC is strictly stronger than ZF+ACC. (Here by ACC I mean the axiom of countable choice).


More information about the FOM mailing list