Recursion theory and ordered groups
From MaRDI portal
Publication:1093630
DOI10.1016/0168-0072(86)90049-7zbMath0629.03020OpenAlexW2058410225MaRDI QIDQ1093630
Stuart A. Kurtz, Rodney G. Downey
Publication date: 1986
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(86)90049-7
Ordered groups (06F15) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Theory of numerations, effectively presented structures (03D45)
Related Items (13)
\(\Pi_{1}^{0}\) classes and orderable groups ⋮ The computable dimension of ordered abelian groups ⋮ Ordered Groups: A Case Study in Reverse Mathematics ⋮ Orders on magmas and computability theory ⋮ Degrees of orders on torsion-free abelian groups ⋮ Embeddings into left‐orderable simple groups ⋮ Spaces of orders and their Turing degree spectra ⋮ Orders on computable rings ⋮ On Constructive Nilpotent Groups ⋮ LEFT-ORDERABLE COMPUTABLE GROUPS ⋮ Reverse mathematics and fully ordered groups ⋮ COMPUTABLE ABELIAN GROUPS ⋮ Computable topological groups and Pontryagin duality
Cites Work
- Autostability of models
- Recursion theory on fields and abstract dependence
- On linearly ordered groups
- Effective procedures in field theory
- Automorphisms of supermaximal subspaces
- Co-immune subspaces and complementation inV∞
- Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field
- Effective content of field theory
- The Boolean Space of Orderings of a Field
- Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
- Recursively enumerable vector spaces
- Computable Algebra, General Theory and Theory of Computable Fields
- ∏ 0 1 Classes and Degrees of Theories
- On Ordered Groups
- Ordered Vector Spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Recursion theory and ordered groups
