Wikipedia states
"A restricted form of the Baire category theorem, in which the complete metric space is also assumed to be separable, is provable in ZF with no additional choice principles."
Could someone please either explain why this is the case or point me to some appropriate (undergrad level) reference?
See the book "Axiom of choice" by H. Herrlich. It contains a proof of this fact.