A first-order theory of Ulm type

DOI10.3233/COM-180099zbMath1455.03043arXiv1702.06586MaRDI QIDQ5211069

Matthew Harrison-Trainor

Publication date: 17 January 2020

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1702.06586

zbMATH Keywords

Abelian group; \(p\)-groups; Borel reducibility; computable structure theory; bi-interpretability

Mathematics Subject Classification ID

20K10: Torsion groups, primary groups and generalized primary groups

03C57: Computable structure theory, computable model theory

03D45: Theory of numerations, effectively presented structures