Learn More
We study effective categoricity of computable abelian groups of the form i∈ω H, where H is a subgroup of (Q, +). Such groups are called homogeneous completely decomposable. It is well-known that a homogeneous completely decomposable group is computably categorical if and only if its rank is finite. We study ∆ 0 n-categoricity in this class of groups, for n(More)
  • 1