Degrees of orders on torsion-free abelian groups

DOI10.1016/j.apal.2013.01.005zbMath1323.03058OpenAlexW2075222558MaRDI QIDQ385079

Karen Lange, Asher M. Kach, D. 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) Theory of numerations, effectively presented structures (03D45) Other Turing degree structures (03D28)

Related Items (3)

Computable completely decomposable groups ⋮ Orders on computable rings ⋮ COMPUTABLE ABELIAN GROUPS

Cites Work

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

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