It's known to be consistent with ZF+DC that every subset of $\mathbb{R}$ has the Baire property (BP). (E.g. Shelah's model). If so, then every subset of every complete separable metric space has the BP. Can we drop the word "separable" here? > Is it consistent with ZF+DC that every subset of every complete metric space has the BP? In other words, working in ZF+DC, can we prove there exists a complete (non-separable) metric space $X$ and a subset $E \subset X$ without the BP? I'm not sure which way my intuition goes. On the one hand, non-separable metric spaces are big and maybe they can be weird, even without AC. On the other hand, a counterexample would have the property that the intersection of $E$ with every separable $S \subset X$ would (consistently) have the BP in $S$. That seems unlikely but I don't see how to disprove it. As one possible approach, a nonmeager proper linear subspace of any Banach space $B$ must not have the BP (by the Pettis lemma). Can we create such a beast in ZF+DC, for some non-separable $B$? We can't do it by taking the kernel of a discontinuous linear functional $f$, because it's consistent with ZF+DC that there aren't any (by considering sequences, the restriction of $f$ to some closed separable subspace $S$ would be discontinuous, making its kernel nonmeager in $S$).