[FOM] DC is stronger than ACC

[Stephen G Simpson]

Rupert McCallum writes:
 > 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).

A proof is in Ulrich Felgner's old book, "Models of ZF Set Theory,"
Springer Lecture Notes in Mathematics, Number 223.

Stephen G. Simpson
Professor of Mathematics
Pennsylvania State University
Research interests: mathematical logic, foundations of mathematics