[FOM] DC vs. CC

Peter Schuster pschust at maths.leeds.ac.uk
Mon Aug 27 09:49:06 EDT 2012

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

More information about the FOM mailing list