Jump degrees of torsion-free abelian groups

DOI10.2178/JSL.7704020zbMATH Open1273.03142OpenAlexW2004915483MaRDI QIDQ4899162FDOQ4899162

Authors: Brooke M. Andersen, Asher M. Kach, Alexander Melnikov, Reed Solomon 

Publication date: 7 January 2013

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1350315577

zbMATH Keywords

jump degreetorsion-free abelian group

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Torsion-free groups, infinite rank (20K20) Torsion-free groups, finite rank (20K15)

Cites Work

• Computable structures and the hyperarithmetical hierarchy
• Countable algebra and set existence axioms
• Enumerations and completely decomposable torsion-free abelian groups
• Reverse mathematics and fully ordered groups
• The isomorphism relation on countable torsion free abelian groups
• The isomorphism problem for torsion-free abelian groups is analytic complete
• Degrees coded in jumps of orderings
• Boolean algebras, Stone spaces, and the iterated Turing jump
• Degrees of orderings not isomorphic to recursive linear orderings
• Every Set has a Least Jump Enumeration

Cited In (7)

• New degree spectra of Polish spaces
• Iterated effective embeddings of abelian \(p\)-groups
• Computable abelian groups
• Torsion-free abelian groups with optimal Scott families
• Degree spectra of structures
• Proper divisibility in computable rings
• Effectively categorical abelian groups

This page was built for publication: Jump degrees of torsion-free abelian groups

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