Joel David Hamkins in an answer to my question [Countable Dense Sub-Groups of the Reals](https://mathoverflow.net/questions/67259/countable-dense-sub-groups-of-the-reals) points out that "one can find an uncountable chain of countable dense additive subgroups of $\mathbb{R}$ whose subset relation has the order type of the continuum $\langle \mathbb{R},<\rangle$."


I would like to know what is the cardinality of the set of countable dense additive subgroups of the reals (up to isomorphism)? Is it undecidable?



Cardinality of the set of countable dense subgroups of the reals up to isomorphism.
The result of Joel quoted above certainly shows a complicated structure, but does not actually provide continuum many non-isomorphic subgroups since there is no reason why $G$ being a subgroup of $H$ should imply that $G$ and $H$ are not isomorphic. Indeed, considering two groups generated by the rationals and two infinite algebraically independent sets of reals will provide counterexamples to this.


However, the structure theorem of rank one torsion free abelian groups does shows there are continuum many such. For example, for any set of primes $P$ let $G\_P$ be the set of all rationals whose denominator is a product of primes only from $P$. It is easy to see that every element has $p^\text{th}$ roots if $p \in P$ but that $1$ has no $q^\text{th}$ root if $q\notin P$. Hence all these groups are non-isomorphic.


