Orders on computable rings

DOI10.1002/malq.201800078OpenAlexW3043031753MaRDI QIDQ5119902

Huishan Wu

Publication date: 9 September 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201800078

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Degrees of orders on torsion-free abelian groups
• Countable algebra and set existence axioms
• Recursion theory and ordered groups
• \(\Pi_{1}^{0}\) classes and orderable groups
• Ideals in computable rings
• Subspaces of computable vector spaces
• Chain conditions in computable rings
• Effective procedures in field theory
• Computable Algebra, General Theory and Theory of Computable Fields
• On Ordered Division Rings
• On Ordered Skew Fields
• Reverse mathematics and fully ordered groups

This page was built for publication: Orders on computable rings