Let $\mathcal L = \{ E(\_,\_) \}$ and $T$ be the $\mathcal L$-theory that says that $E$ is an equivalence relation with an infinite number of infinite classes. (I find this statement not clear, because it does not seem to specify the number of finite classes. In the following I assume that all classes are infinite)
I'd like to know how many models with given cardinality there are. I think there is only one model of $T$ of cardinal $\aleph_0$, because there is $\aleph_0$ classes of cardinal $\aleph_0$, hence any two models would be isomorphic by simply identifying the classes. This shows that $T$ is $\aleph_0$-categorical and hence complete.
Now if I look at models $\mathcal M$ of cardinal $\aleph_1$, then the "isomorphism type" of $\mathcal M$ (I don't know if this is a valid terminology) is given by the number $\kappa$ of equivalence classes and for all $i<\kappa$ by the cardinal $\lambda_i$ of the $i$th class. Since $Card(\mathcal M) = \aleph_1$, we have that $\sum_{i<\kappa} \lambda_i = \aleph_1$. If all $\lambda$'s are equal, I know that this sum is $\kappa\times\lambda = \max\{\kappa,\lambda\}$ and there are 3 non-isomorphic models of $T$. But if the $\lambda$'s are different, I don't know how to evaluate the infinite sum of cardinals.
Could you help me finish this computation? Any reference for cardinal arithmetic would be appreciated too!