In Solovay paper, "A model of set theory in which every set of reals is Lebesgue measurable", he cites in the end a theorem 4.1 (generalization of results), which says, roughly that in $\mathfrak{N}_1$ (the Solovay model), for $X$ a complete separable metric space, then every set $A \subset X$ has the property of Baire and other properties.
Is it possible to deduce a theorem which would be like: in $\mathfrak{N}=\mathfrak{M}[G]$(the full Solovay model) every set $A \subset X$ definable from a countable sequence of ordinals has the property of Baire?
Edit: This question remains unanswered, but I would like to add one detail to it: $X$ the complete separable metric space may not have a "definable" topology, so the basic open sets may not be definable from a countable sequence of ordinals. Does the same remark in the comments below still hold though?
Further Edit: What happens in the case where the topology and the metric of $X$ are definable from ordinals and $X$, in the sense that the metric is definable by a formula whose parameters are ordinals and $X$?