Back and forth relations for reduced abelian \(p\)-groups

DOI10.1016/0168-0072(94)00045-5zbMath0842.03029OpenAlexW2059318640MaRDI QIDQ1902617

Ewan J. Barker

Publication date: 22 November 1995

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)00045-5

zbMATH Keywords

reduced Abelian \(p\)-groupspairs of structuresrecursive structuresback and forth relations

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Abelian groups (20K99)

Related Items (17)

Abelian \(p\)-groups and the halting problem ⋮ Effectively categorical abelian groups ⋮ Computable completely decomposable groups ⋮ Torsion-free abelian groups with optimal Scott families ⋮ Computability-theoretic categoricity and Scott families ⋮ Ranked structures and arithmetic transfinite recursion ⋮ Punctual categoricity relative to a computable oracle ⋮ COMPUTABLE ABELIAN GROUPS ⋮ Computable topological groups and Pontryagin duality ⋮ The isomorphism problem for computable Abelian _p-groups of bounded length ⋮ Decompositions of decidable abelian groups ⋮ Effective categoricity of abelian \(p\)-groups ⋮ On the $n$-back-and-forth types of Boolean algebras ⋮ Borel subgroups of Polish groups ⋮ Classification from a Computable Viewpoint ⋮ Abelian \(p\)-groups and autostability relative to an oracle ⋮ On \(\Delta_2^0\)-categoricity of equivalence relations

Cites Work

• Unnamed Item
• Unnamed Item
• Pairs of recursive structures
• Intrinsically \(\Sigma ^ 0_{\alpha}\) relations
• Model theory.
• Model theory
• Categoricity in hyperarithmetical degrees
• Ulm's Theorem for Partially Ordered Structures Related to Simply Presented Abelian p-Groups
• Infinitary properties of abelian torsion groups

This page was built for publication: Back and forth relations for reduced abelian \(p\)-groups