Reverse mathematics and fully ordered groups (Q5937813)

This article is a detailed presentation of some of the author's work in the reverse mathematics of ordered groups, including proofs of many of the results listed in his survey article [Bull. Symb. Log. 5, No. 1, 45-58 (1999; Zbl 0922.03078)]. Theorems pertaining to quotient groups, product groups, and semigroup conditions for orderability are analyzed, and a proof of Hölder's theorem is carried out in RCA\(_0\). Related results can also be found in the author's paper [J. Symb. Log. 66, No. 1, 192-206 (2001; Zbl 0981.03060)].