Degrees of orders on torsion-free abelian groups
DOI10.1016/J.APAL.2013.01.005zbMATH Open1323.03058OpenAlexW2075222558MaRDI QIDQ385079FDOQ385079
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
Recommendations
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Effective content of field theory
- Effectively completely decomposable Abelian groups.
- Effectively categorical abelian groups
- Title not available (Why is that?)
- Computable Algebra, General Theory and Theory of Computable Fields
- 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
- Degree spectra of intrinsically c. e. relations
- Title not available (Why is that?)
- Recursive Linear Orders with Incomplete Successivities
- The Boolean Space of Orderings of a Field
- Title not available (Why is that?)
- Graph colorings and recursively bounded \(\Pi ^ 0_ 1\)-classes
- Title not available (Why is that?)
- 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
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)