Recursively enumerable sets and degrees
Recursively enumerable sets and degrees
Computable ordered abelian groups and fields
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Hi-index | 0.00 |
We show that every homogeneous completely decomposable torsion-free abelian group is 0˝-categorical. We give a description of effective categoricity for some natural class of torsion-free abelian groups. In particular, we give examples of 0˝-categorical but not 0˝-categorical torsion-free abelian groups.