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.



BCT equivalent to DC
You can find it, amongst other places in my write up:



> 
> [Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choice.](http://karagila.org/wp-content/uploads/2016/10/axiom-of-choice-in-analysis.pdf)
> 
> 
> 


If you need a source to cite, my money is on Handbook of Analysis and its Foundations by Eric S. Schechter.


