This question is a follow-up of this MSE post and a comment by Henno Brandsma:

**Question 1.** Let $S$ be the set of isomorphism classes of fundamental groups $\pi_1(E^2 - C)$, where $C$ ranges over all countably infinite subsets of the Euclidean plane $E^2$. What is the cardinality of $S$?

All what I can say is that $S$ contains at least two non-isomorphic groups:

One is the free group $F_\omega$ of countably infinite rank, the fundamental group of the complement to a closed discrete countably infinite subset of $E^2$, does not matter which one, say, $C={\mathbb Z}\subset {\mathbb R}\subset {\mathbb R}^2$.

The other is $G_{{\mathbb Q}^2}=\pi_1(E^2-C)$, where $C$ is a dense countable subset of $E^2$, again, does not matter which one, for instance, $C={\mathbb Q}^2$. This group is not free since it contains, for instance, the fundamental group of the Hawaiian Earrings. (Actually, it contains $\pi_1$ of every nowhere dense planar Peano continuum.)

The natural expectation is that $S$ is uncountable (more precisely, has the cardinality of continuum: It is clear that the cardinality of $S$ cannot be higher than that).

**Edit.** Following Yves' suggestion:

**Question 2.** Let ${\mathbb H}$ denote the Hawaiian Earrings. Is the fundamental group $\pi_1({\mathbb H})$ *essentially freely indecomposable*? (Here a group $G$ is *essentially freely indecomposable* if in every free product decomposition $G\cong G_1\star G_2$, one of the free factors $G_1, G_2$ is free of finite rank.) One can also ask for the weaker property of $G=\pi_1({\mathbb H})$, namely, that $G$ does not admit free product decompositions $G\cong G_1\star G_2$ with two uncountable factors.

The only relevant result I could find in the literature is the theorem (due to Higman) which (according to "The combinatorial structure of the Hawaiian earring group" by Cannon and Conner) implies that that every freely indecomposable free factor of $G=\pi_1({\mathbb H})$ is either trivial or infinite cyclic. Maybe Higman's methods prove more, but his paper ("Unrestricted Free Products, and Varieties of Topological Groups", Journal of LMS, 1952) is behind the paywall.

If Q2 (even in the weaker form) has positive answer, then in Q1 at least one can say that $S$ is infinite.