Subset of reals with cardinality $\aleph_1$ Is there a ZFC-definable subset of the real numbers whose cardinality is provably $\aleph_1$, without assuming the Continuum Hypothesis?
 A: The situation is complicated.
There is a surjective map from $\Bbb R$ onto $\omega_1$, this much is provably in $\sf ZF$, and so using choice this map has an injective inverse which is a subset of $\Bbb R$ that has size $\aleph_1$. The function, by the way, is the following:
Fix a bijection between $\Bbb R$ and $\Bbb{R^N}$, then map $x$ to $\alpha$ if its corresponding sequence in $\Bbb{R^N}$ is an enumeration of a set which is well-ordered in the standard $<$ relation of $\Bbb R$. Otherwise, map $x$ to $0$. Since every countable ordinal embeds into the rationals, this is certainly a surjective function.
But is this set definable? In what sense? In any reasonable sense, you can claim that it is not definable, unless the injective inverse is definable (which could be the case, depending on additional axioms such as $V=L$). Let me point out that here by definable we mean "definable in the set theoretic universe without parameters".
We can interpret definable as Borel, which would be a sensible way to interpret this outside of the context of set theory, and then the answer is certainly negative. All uncountable Borel sets have a copy of the Cantor set inside them, which makes them the size of the real numbers. In other words, Borel sets are not counterexamples to the Continuum Hypothesis, and cannot provably have size $\aleph_1$.
Okay. So going back to the original question. The naive approach to a counterexample would be the collapse the continuum and add many Cohen reals. This, in principle, should work. But the direct proof seems to hit a snag whenever you remember that you're talking about sets of reals, and not sets of ordinals. David Asperó suggested a different solution: $\Bbb P_{\max}$ forcing over $L(\Bbb R)$ as a model of $\sf AD$. 
Since $\Bbb P_\max$ is homogeneous, adds no reals, and forces $2^{\aleph_0}=\aleph_2$, we can show that any definable set of reals was already in $L(\Bbb R)$ and by $\sf AD$ has a perfect subset. Therefore has size $\aleph_2$.
But this requires quite a strong consistency strength. And it would very interesting to see if the large cardinals can be removed.
