Degrees of orders on torsion-free abelian groups

DOI10.1016/J.APAL.2013.01.005MaRDI QIDQ385079zbMATH OpenOpenAlexFDO

Authors Asher M. Kach, Karen Lange, Reed Solomon

Publication date 29 November 2013

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

Full work available at URL https://doi.org/10.1016/j.apal.2013.01.005

zbMATH Keywords

degree spectra of ordersordered abelian group

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Computable structure theory, computable model theory (03C57) Other Turing degree structures (03D28) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Enumerations and completely decomposable torsion-free abelian groups
• New degree spectra of abelian groups
• Decidability and computability of certain torsion-free abelian groups
• Computable completely decomposable groups
• \(\mathbf 0\)-categorical completely decomposable torsion-free abelian groups

Cites work

• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 4156432 (Why is no real title available?)
• scientific article; zbMATH DE number 1936723 (Why is no real title available?)
• scientific article; zbMATH DE number 1396673 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 3099436 (Why is no real title available?)
• Computable Algebra, General Theory and Theory of Computable Fields
• Countable algebra and set existence axioms
• Decidability and computability of certain torsion-free abelian groups
• Degree spectra of intrinsically c. e. relations
• Effective content of field theory
• Effectively categorical abelian groups
• Effectively completely decomposable Abelian groups.
• Enumerations and completely decomposable torsion-free abelian groups
• Every recursive Boolean algebra is isomorphic to one with incomplete atoms
• Graph colorings and recursively bounded \(\Pi ^ 0_ 1\)-classes
• Recursion theory and ordered groups
• Recursive Linear Orders with Incomplete Successivities
• Some constructivizations of Abelian groups
• Spaces of orders and their Turing degree spectra
• The Boolean Space of Orderings of a Field
• \(\Pi_{1}^{0}\) classes and orderable groups

Cited in

(8)

• Spaces of orders and their Turing degree spectra
• Computable completely decomposable groups
• Enumerations and completely decomposable torsion-free abelian groups
• New degree spectra of abelian groups
• Orders on computable rings
• Computable abelian groups
• Computable ordered abelian groups and fields
• Groups with orderings of arbitrary algorithmic complexity

This page was built for publication: Degrees of orders on torsion-free abelian groups

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