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

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

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

• 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?)
• Automorphisms of supermaximal subspaces
• Autostability of models
• Co-immune subspaces and complementation inV_∞
• Computable Algebra, General Theory and Theory of Computable Fields
• Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field
• Effective content of field theory
• Effective procedures in field theory
• Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
• On Ordered Groups
• On linearly 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

(18)

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

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)