Iterated effective embeddings of abelian p-groups

DOI10.1142/S0218196714500465zbMath1339.03034OpenAlexW2077716430MaRDI QIDQ2941047

Alexander G. Melnikov, Keng Meng Ng, Rodney G. Downey

Publication date: 21 January 2015

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0218196714500465

zbMATH Keywords

uniformityUlm invariantscomputable groups

Mathematics Subject Classification ID

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

Related Items (6)

Torsion-free abelian groups with optimal Scott families ⋮ Computable torsion abelian groups ⋮ A Friedberg enumeration of equivalence structures ⋮ Proper divisibility in computable rings ⋮ A note on computable distinguishing colorings ⋮ Decompositions of decidable abelian groups

Cites Work

• Unnamed Item
• Computable shuffle sums of ordinals
• Effective categoricity of abelian \(p\)-groups
• On initial segments of computable linear orders
• Computable models of theories with few models
• The computable dimension of ordered abelian groups
• Effectively categorical abelian groups
• Order-computable sets
• An uncountably categorical theory whose only computably presentable model is saturated
• Prime models of theories of computable linear orderings
• Limitwise monotonic sequences and degree spectra of structures
• Effective procedures in field theory
• Subgroups of finitely presented groups
• Effective content of field theory
• Recursively presented Abelian groups: Effective p-Group theory. I
• Recursively enumerable vector spaces
• Jump degrees of torsion-free abelian groups
• Bounding prime models
• η-representation of sets and degrees
• Countable vector spaces with recursive operations Part I¹
• Countable vector spaces with recursive operations Part II

This page was built for publication: Iterated effective embeddings of abelian p-groups