[FOM] DC is stronger than ACC
Stephen G Simpson
simpson at math.psu.edu
Thu Jul 24 09:22:30 EDT 2008
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
More information about the FOM