Reverse mathematics and fully ordered groups (Q5937813)
From MaRDI portal
scientific article; zbMATH DE number 1620808
Language | Label | Description | Also known as |
---|---|---|---|
English | Reverse mathematics and fully ordered groups |
scientific article; zbMATH DE number 1620808 |
Statements
Reverse mathematics and fully ordered groups (English)
0 references
17 July 2001
0 references
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)].
0 references
reverse mathematics
0 references
ordered groups
0 references
computability theory
0 references