[FOM] DC vs. CC
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. : Languages with Expressions of Infinite Length.
See p 111 of my "Countable Choice as a Questionable Uniformity Principle",
Philos. Math. (3) 12 (2004) 106-134.
University of Leeds
More information about the FOM