Computable torsion abelian groups

DOI10.1016/J.AIM.2017.12.011MaRDI QIDQ1688648zbMATH OpenOpenAlexFDO

Authors Alexander Melnikov, Keng Meng Ng

Publication date 11 January 2018

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.aim.2017.12.011

zbMATH Keywords

abelian groupscomputable categoricitycomputable structures

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Torsion groups, primary groups and generalized primary groups (20K10) Computable structure theory, computable model theory (03C57) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• Computable abelian groups
• Computable topological abelian groups
• Decidability and computability of certain torsion-free abelian groups
• Computable ordered abelian groups and fields
• Arbitrary torsion classes of abelian groups^*
• Computing with Abelian sections of finitely presented groups
• The computable dimension of ordered abelian groups
• Turing degrees of nonabelian groups
• Computable torsion-free nilpotent groups of finite dimension.
• On the computability of a class of periodic abelian groups

Cites work

• scientific article; zbMATH DE number 1002913 (Why is no real title available?)
• scientific article; zbMATH DE number 3767640 (Why is no real title available?)
• scientific article; zbMATH DE number 3781440 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 3572144 (Why is no real title available?)
• scientific article; zbMATH DE number 1303204 (Why is no real title available?)
• scientific article; zbMATH DE number 2047478 (Why is no real title available?)
• scientific article; zbMATH DE number 1531924 (Why is no real title available?)
• scientific article; zbMATH DE number 934359 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3332554 (Why is no real title available?)
• Autostability of models and Abelian groups
• CONSTRUCTIVE ALGEBRAS I
• Categoricity properties for computable algebraic fields
• Comparing classes of finite sums
• Computable Algebra, General Theory and Theory of Computable Fields
• Computable abelian groups
• Computable models of theories with few models
• Computable structures and the hyperarithmetical hierarchy
• Effective categoricity of equivalence structures
• Effectively categorical abelian groups
• Iterated effective embeddings of abelian \(p\)-groups
• On \(\Delta_2^0\)-categoricity of equivalence relations
• Recursive linear orders with recursive successivities
• Recursively Categorical Linear Orderings
• The complexity of computable categoricity

Cited in

(11)

• Decidability and computability of certain torsion-free abelian groups
• Relativizing computable categoricity
• Categoricity spectra of computable structures
• Computable topological groups and Pontryagin duality
• Decompositions of decidable abelian groups
• Computable abelian groups
• Индексное множество автоустойчивых упорядоченных абелевых групп
• A note on computable distinguishing colorings
• Punctual categoricity relative to a computable oracle
• Enumerating abelian \(p\)-groups
• Torsion-free abelian groups with optimal Scott families

This page was built for publication: Computable torsion abelian groups

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