Return to Question

For an abelian torsion group of finite exponent, i.e. there is an integer $n$ such that $g^n=1$ for all $g\in G$, I wonder if its theory is $\aleph_0$-categorical.

For an abelian torsion group of finite exponent, i.e. there is an integer $n$ such that $g^n=1$ for all $g\in G$, its theory appears to be $\aleph_0$-categorical by the theorem of Engeler, Ryll-Nardzewski and Svenonius. I want to confirm this fact.

An abelian torsion group is an abelian group in which each element has finite order, i.e. there is an integer $n$ such that $g^n=1$ for all $g\in G$. Since this is related to a theorem by Engeler, Ryll-NardzewskiI and Svenonius that a theory with only finitely many types is $\aleph_0$-categorical, the theory of abelian torsion group should be $\aleph_0$-categorical. I'd like to know how to prove it.

For an abelian torsion group of finite exponent, i.e. there is an integer $n$ such that $g^n=1$ for all $g\in G$, I wonder if its theory is $\aleph_0$-categorical.

For an abelian torsion group of finite exponent, i.e. there is an integer $n$ such that $g^n=1$ for all $g\in G$, I wonder if its theory is $\aleph_0$-categorical.

An abelian torsion group is an abelian group in which each element has finite order, i.e. there is an integer $n$ such that $g^n=1$ for all $g\in G$. Since this is related to a theorem by Engeler, Ryll-NardzewskiI and Svenonius that a theory with only finitely many types is $\aleph_0$-categorical, the theory of abelian torsion group should be $\aleph_0$-categorical. I'd like to know how to prove it.