A first-order theory of Ulm type

DOI10.3233/COM-180099MaRDI QIDQ5211069zbMATH OpenOpenAlexWikidataFDO

Authors 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

\(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)

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.

Recommendations

• The isomorphism problem for computable Abelian _p-groups of bounded length
• Enumerating abelian \(p\)-groups
• Computability of the class of strongly constructivizable abelian \(p\)-groups
• Iterated effective embeddings of abelian \(p\)-groups
• Computability of the class of strongly constructivizable Abelian \(p\)-groups

Cited in

(4)

• Classes of Ulm type and coding rank-homogeneous trees in other structures
• A first-order version of Pfaffian closure
• Krull dimension of types in a class of first-order theories
• Enumerating abelian \(p\)-groups

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)