_1⁰ classes and orderable groups

DOI10.1016/S0168-0072(01)00097-5MaRDI QIDQ1612488zbMATH OpenOpenAlexFDO

Authors Reed Solomon

Publication date 22 August 2002

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0168-0072(01)00097-5

zbMATH Keywords

\(\Pi^0_1\) classesArchimedean classescomputable algebracomputable ordered groupscomputable presentationordered Abelian groupsordered nilpotent groupsspaces of orders

Mathematics Subject Classification ID

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

Recommendations

• Left-orderable computable groups
• Ordered Groups: A Case Study in Reverse Mathematics
• Computability of the class of strongly constructivizable Abelian \(p\)-groups
• Groups with orderings of arbitrary algorithmic complexity
• The computable dimension of ordered abelian groups

Cites work

• Computable Algebra, General Theory and Theory of Computable Fields
• Effective content of field theory
• Hierarchies of Boolean algebras
• scientific article; zbMATH DE number 3170334 (Why is no real title available?)
• scientific article; zbMATH DE number 4152374 (Why is no real title available?)
• scientific article; zbMATH DE number 3758564 (Why is no real title available?)
• scientific article; zbMATH DE number 3767640 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1303200 (Why is no real title available?)
• scientific article; zbMATH DE number 1303201 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• Recursion theory and ordered groups
• Recursively enumerable sets and degrees
• Relatively convex subgroups of orderable groups
• Reverse mathematics and fully ordered groups
• Some constructivizations of Abelian groups
• ∏ 0 1 Classes and Degrees of Theories

Cited in

(15)

• The computable dimension of ordered abelian groups
• ^0_1-presentations of algebras
• On Constructive Nilpotent Groups
• Degrees of orders on torsion-free abelian groups
• scientific article; zbMATH DE number 1534538 (Why is no real title available?)
• Orders on magmas and computability theory
• Left-orderable computable groups
• Orders on computable rings
• Groups with orderings of arbitrary algorithmic complexity
• Hierarchies of torsion-free Abelian groups
• COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS
• Spaces of orders and their Turing degree spectra
• Complexity of well-ordered sets in an ordered abelian group
• Categories and functors in reverse and computable mathematics
• Algorithmic aspects of left-orderings of solvable Baumslag-Solitar groups via its dynamical realization

This page was built for publication: \(\Pi_{1}^{0}\) classes and orderable groups

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