Can there be an uncountable set $S\subseteq\mathbb R$ such that for each subset $D\subseteq S$, there is a Borel set $U$ with $D=S\cap U$?


I'm asking merely out of curiosity, but I'll mention that this would imply $2^{\aleph\_1}=2^{\aleph\_0}$. This is a hopefully more interesting adaption of a recent [too easy question](https://mathoverflow.net/q/403870/4600).



VC dimension of Borel sets
Yes! Martin's Axiom implies that if $S \subseteq \mathbb R$ and $|S| < \mathfrak{c}$, then every subset $D$ of $S$ is a relative $G\_\delta$ in $S$: i.e., there is a $G\_\delta$ set $X \subseteq \mathbb R$ with $X \cap S = D$. (And let me note that $2^{\aleph\_0} = 2^{\aleph\_1}$ is another consequence of Martin's Axiom.)


