Independence of the axiom of dependent choices from the countable axiom of choice (1966)

by Ronald B Jensen
Venue:Journal of Symbolic Logic