Recursion theory and ordered groups

DOI10.1016/0168-0072(86)90049-7MaRDI QIDQ1093630zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

effective content of the theory of ordered groupsrecursive abelian groups

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Ordered groups (06F15) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Review text

This paper studies the effective content of the theory of ordered groups; and in particular the interplay between abstract and classical orderings. For example, it is shown that there are recursive abelian groups isomorphic to \(\oplus_{\omega}Z\) (and so classically orderable) whose only recursively orderable subgroups are finitely generated. Extensions of orders in ordered groups are analysed.

Recommendations

• Recursive functions in group theory
• scientific article; zbMATH DE number 4095438
• Proof theory and ordered groups
• scientific article; zbMATH DE number 951665
• scientific article; zbMATH DE number 3900785
• Theory of groups of finite order
• scientific article; zbMATH DE number 1390019
• Publication:3491532
• scientific article; zbMATH DE number 705155
• COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS

Cites work

• Automorphisms of supermaximal subspaces
• Autostability of models
• Co-immune subspaces and complementation inV_∞
• Computable Algebra, General Theory and Theory of Computable Fields
• Effective content of field theory
• Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field
• Effective procedures in field theory
• scientific article; zbMATH DE number 3869317 (Why is no real title available?)
• scientific article; zbMATH DE number 3914305 (Why is no real title available?)
• scientific article; zbMATH DE number 3713669 (Why is no real title available?)
• scientific article; zbMATH DE number 3732033 (Why is no real title available?)
• scientific article; zbMATH DE number 3752834 (Why is no real title available?)
• scientific article; zbMATH DE number 3767640 (Why is no real title available?)
• scientific article; zbMATH DE number 3478856 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
• On linearly ordered groups
• On Ordered Groups
• Ordered Vector Spaces
• Recursion theory on fields and abstract dependence
• Recursively enumerable vector spaces
• The Boolean Space of Orderings of a Field
• ∏ 0 1 Classes and Degrees of Theories

Cited in

(20)

• Irrational ordered groups
• \(\Pi_{1}^{0}\) classes and orderable groups
• Proof theory and ordered groups
• The computable dimension of ordered abelian groups
• A theory of recursive dimension of ordered sets
• Computable abelian groups
• On Constructive Nilpotent Groups
• Computable ordered abelian groups and fields
• Degrees of orders on torsion-free abelian groups
• Ordered Groups: A Case Study in Reverse Mathematics
• Orders on magmas and computability theory
• Left-orderable computable groups
• Computable topological groups and Pontryagin duality
• Orders on computable rings
• Ordering groups constructively
• Reverse mathematics and fully ordered groups
• Embeddings into left‐orderable simple groups
• Spaces of orders and their Turing degree spectra
• Complexity of well-ordered sets in an ordered abelian group
• Algorithmic aspects of left-orderings of solvable Baumslag-Solitar groups via its dynamical realization

This page was built for publication: Recursion theory and ordered groups

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