A first-order theory of Ulm type
From MaRDI portal
Publication:5211069
DOI10.3233/COM-180099zbMath1455.03043arXiv1702.06586MaRDI QIDQ5211069
Publication date: 17 January 2020
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1702.06586
20K10: Torsion groups, primary groups and generalized primary groups
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures