Iterated effective embeddings of abelian p-groups

DOI10.1142/S0218196714500465zbMath1339.03034MaRDI 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

uniformity; Ulm invariants; computable groups

Mathematics Subject Classification ID

20K10: Torsion groups, primary groups and generalized primary groups

03D50: Recursive equivalence types of sets and structures, isols

03C57: Computable structure theory, computable model theory

03D45: Theory of numerations, effectively presented structures

Related Items

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

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