Skip to main content

All Questions

Filter by
Sorted by
Tagged with
21 votes
1 answer
1k views

Is Dependent Choice all we really need?

http://en.wikipedia.org/wiki/Axiom_of_dependent_choice Is DC sufficient for the understanding of objects that are countable in some suitable sense? For example, is DC sufficient for the full ...