Undecidable cardinality Let $S$ be an infinite subset of $\mathbb{R}$ with the property that the existence of $S$ can be proved within ZFC (and in particular the definition of $S$ does not invoke the negation of the continuum hypothesis), but the cardinality of $S$ is undecidable within ZFC.
Are there some concrete examples of such sets?
I.e. something more constructive than $S:=$ some subset of cardinality $\aleph_1$?
This question results from musing about intuitively obvious equivalents of $\neg CH$ in order to find evidence against the validity of $CH$. My (undoubtedly too optimistic) thinking was that if some such example of $S$ is concrete enough, it would be perhaps intuitively obvious whether it should be countable or continuum, despite this being undecidable formally.
My best guess for the moment is something along the lines of
$$S=\left\{\sum_n\frac{1}{a_n}:\; (a_n)\;\text{is a strictly increasing sequence of primes}\right\}$$
but surely the cardinality can be determined (though not quite sure how).
 A: There are several problems with your question.


*

*Invoking undecidable statements does not mean that the existence of the set is not provable. We can define $S=\{x\in\Bbb R\mid\sf CH\}$ which is empty if $\sf CH$ fails, and is the whole set of real numbers if it holds.

*What does it mean to decide the cardinality of a set? Surely saying that the cardinality is the same as that of the real numbers is something decisive. Indeed, $S$ that you suggestion satisfies that, even though it is not a set of real numbers, as some of these sums do not converge.
What you mean want to argue is that the index of the $\aleph$ cardinal is decidable. That is something more concrete, but then $\Bbb R$ itself is an example for a set which provably exist and we cannot say much more than that.

*If you do accept $2^{\aleph_0}$ as "a good answer for cardinality", then it seems to me that you're actually asking whether or not we can define a set of real numbers whose cardinality is $\aleph_1$. To that the answer is "depends on what you mean by that". Define in what sense? In the set theoretic universe? With parameters? With real numbers and ordinals as parameters? Define with a predicative definition?
These answers tend to end up with different answers. But it is consistent with $\sf ZFC$ that every projective set is either countable or of size $2^{\aleph_0}$, which may or may not be larger than $\aleph_1$. Since projective sets are what we might "normally think of" when we think about definable sets of real numbers, this shows that the answer to your question is more or less "no, we cannot explicitly construct a projective set of reals of cardinality $\aleph_1$ in $\sf ZFC$".
The proof is not at all trivial, and it does require some large cardinal assumptions. If you move away from projective sets, you start getting a bit messier answers (e.g. it can be trivial in the sense that every set is definable from itself as a parameter).
