A first-order theory of Ulm type

DOI10.3233/COM-180099zbMATH Open1455.03043arXiv1702.06586OpenAlexW2962862653WikidataQ129575606 ScholiaQ129575606MaRDI QIDQ5211069FDOQ5211069

Matthew Harrison-Trainor

Publication date: 17 January 2020

Published in: Computability (Search for Journal in Brave)

Abstract: The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an abelian $p$-group and a pure set (and so that every abelian $p$-group is bi-interpretable with a model of $T_p$) using computable infinitary formulas. This answers a question of Knight by giving an example of an elementary first-order theory of "Ulm type": Any two models, low for $omeg{a}_1^{CK}$, and with the same computable infinitary theory, are isomorphic. It also gives a new example of an elementary first-order theory whose isomorphism problem is $mathbf{Sigma}_1^1$-complete but not Borel complete.

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

zbMATH Keywords

\(p\)-groupsBorel reducibilityAbelian groupcomputable structure theorybi-interpretability

Mathematics Subject Classification ID

Torsion groups, primary groups and generalized primary groups (20K10) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cited In (2)

• A first-order version of Pfaffian closure
• Krull dimension of types in a class of first-order theories

This page was built for publication: A first-order theory of Ulm type

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5211069)