\(\Pi_{1}^{0}\) classes and orderable groups

DOI10.1016/S0168-0072(01)00097-5zbMath0998.03036OpenAlexW4213086476MaRDI QIDQ1612488

D. 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\) classescomputable algebracomputable presentationordered Abelian groupsArchimedean classescomputable ordered groupsordered nilpotent groupsspaces of orders

Mathematics Subject Classification ID

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

Related Items

The computable dimension of ordered abelian groups ⋮ Orders on magmas and computability theory ⋮ Degrees of orders on torsion-free abelian groups ⋮ Spaces of orders and their Turing degree spectra ⋮ Orders on computable rings ⋮ On Constructive Nilpotent Groups ⋮ LEFT-ORDERABLE COMPUTABLE GROUPS ⋮ COMPUTABILITY, ORDERS, AND SOLVABLE GROUPS

Cites Work

• Some constructivizations of Abelian groups
• Recursion theory and ordered groups
• Relatively convex subgroups of orderable groups
• Effective content of field theory
• Recursively enumerable sets and degrees
• Computable Algebra, General Theory and Theory of Computable Fields
• Hierarchies of Boolean algebras
• ∏ 0 1 Classes and Degrees of Theories
• Reverse mathematics and fully ordered groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item