Premium
Orders on computable rings
Author(s) -
Wu Huishan
Publication year - 2020
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201800078
Subject(s) - mathematics , noncommutative geometry , generalization , lemma (botany) , pure mathematics , artin l function , discrete mathematics , algebra over a field , conductor , mathematical analysis , ecology , geometry , poaceae , biology
The Artin‐Schreier theorem says that every formally real field has orders. Friedman, Simpson and Smith showed in [6] that the Artin‐Schreier theorem is equivalent to WKL 0 over RCA 0 . We first prove that the generalization of the Artin‐Schreier theorem to noncommutative rings is equivalent to WKL 0 over RCA 0 . In the theory of orderings on rings, following an idea of Serre, we often show the existence of orders on formally real rings by extending pre‐orders to orders, where Zorn's lemma is used. We then prove that “pre‐orders on rings not necessarily commutative extend to orders” is equivalent to WKL 0 .