Let $\mathfrak{c}$ be the cardinality of the continuum. How much Choice, if any, is needed to prove that there are $2^{\mathfrak{c}}$ distinct (mutually nonisomorphic) torsion-free abelian groups of cardinality $\mathfrak{c}$? This can be proved with AC, but I suspect a much weaker form of Choice, or maybe none at all, is necessary. A fairly simple argument, not requiring any choice, is that there are at least as many as there are antichains in the power set of $\omega$, and the AC implies there are $2^{\mathfrak{c}}$ such antichains. Maybe an entirely different argument is possible.



Number of torsion-free abelian groups
You can construct antichains of size $\frak c$ without using choice, you can even have them to be antichains in a stronger sense of the word: i.e. every two have a finite intersection.


The one thing you'd want choice for this is to make sure your antichains are maximal. So we can't do that. But do we need that? No. Once you have one antichain of size $\frak c$, you have $2^\frak c$ of them automatically.


To see how you'd go about doing that, enumerate the rational numbers as $q\_n$, then for every real number $r$ construct a rational sequence converging to it: $r\_n$, the $n$th element in the sequence approaching $r$, would be the least indexed rational in the enumeration whose distance from $r$ is at most $\frac1n$.


Now look at $A\_r=\{n\in\omega\mid\exists k: q\_n=r\_k\}$. Then $\{A\_r\mid r\in\Bbb R\}$ would an antichain as wanted.


(Note that we can easily get $2^\frak c$ distinct antichains by partitioning the reals into $\omega$ intervals, and then replacing $\frac1n$ in the definition of $r\_n$, by $1/f(k,n)$ when $r$ is in the $k$th interval, for any function $f\colon\omega\times\omega\to\omega$, satisfying that $\lim\_{n\to\infty}f(k,n)=\infty$ for every $k$.)


