Computable torsion abelian groups

• Main Authors: Melnikov, Alexander G., Ng, Keng Meng
• 其他作者: School of Physical and Mathematical Sciences
• 格式: Article
• 語言: English
• 出版: 2020
• 主題: Science::Mathematics; Abelian Groups; Computable Structures
• 在線閱讀: https://hdl.handle.net/10356/137680
• 機構: Nanyang Technological University

We prove that c.c. torsion abelian groups can be described by a Π04-predicate that describes the failure of a brute-force diagonalisation attempt on such groups. We show that there is no simpler description since their index set is Π04-complete. The results can be viewed as a solution to a 60 year-o...