[FOM] DC vs. CC

[Peter Schuster]

As about an early if not the first proof that CC does not prove DC, odd 
ten years ago R B Jensen has referred me to the following monograph:

Karp, Carol R. [1964]: Languages with Expressions of Infinite Length. 
Amsterdam: North-Holland.

See p 111 of my "Countable Choice as a Questionable Uniformity Principle", 
Philos. Math. (3) 12 (2004) 106-134.

Peter Schuster
Pure Mathematics
University of Leeds