Do you know where I can find proof of equivalence Baire Category Theorem and DC (Axiom of Dependent Choice)? It is well known fact but I can't find appropriate literature with the proof.
2 of 2
added a top-level tag; see: https://meta.mathoverflow.net/questions/1457/why-are-mo-tags-formatted-as-they-are
Martin Sleziak
- 4.7k
- 4
- 35
- 40
BCT equivalent to DC
Michael
- 143
- 4