Reverse mathematics and fully ordered groups

DOI10.1305/NDJFL/1039293061MaRDI QIDQ5937813zbMATH OpenOpenAlexFDO

Authors Reed Solomon

Publication date 17 July 2001

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1039293061

zbMATH Keywords

computability theoryordered groupsreverse mathematics

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Ordered groups (06F15)

Review text

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)].

Recommendations

• Ordered Groups: A Case Study in Reverse Mathematics
• scientific article; zbMATH DE number 3924748
• scientific article; zbMATH DE number 2236630
• Ordering free products in reverse mathematics
• \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups

Cites work

• A family of groups with a countable infinity of full orders
• Countable algebra and set existence axioms
• scientific article; zbMATH DE number 3170334 (Why is no real title available?)
• scientific article; zbMATH DE number 4152374 (Why is no real title available?)
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 3767640 (Why is no real title available?)
• scientific article; zbMATH DE number 3557860 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 3073087 (Why is no real title available?)
• scientific article; zbMATH DE number 3091871 (Why is no real title available?)
• Note on ordered groups and rings
• Recursion theory and ordered groups
• Relatively convex subgroups of orderable groups
• The algorithmic theory of polycyclic-by-finite groups
• Über halbgeordnete Gruppen
• ∏ 0 1 Classes and Degrees of Theories

Cited in

(18)

• \(\Pi_{1}^{0}\) classes and orderable groups
• Whitehead's problem and reverse mathematics
• The computable dimension of ordered abelian groups
• Reverse mathematics and semisimple rings
• \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups
• Ordering free products in reverse mathematics
• scientific article; zbMATH DE number 3920549 (Why is no real title available?)
• Infinite dimensional proper subspaces of computable vector spaces
• Ordered Groups: A Case Study in Reverse Mathematics
• Reverse mathematics and properties of finite character
• Jump degrees of torsion-free abelian groups
• Orders on computable rings
• Primitive recursive reverse mathematics
• Structure of semisimple rings in reverse and computable mathematics
• Spaces of orders and their Turing degree spectra
• The complexity of central series in nilpotent computable groups
• From real analysis to the sorites paradox via reverse mathematics
• Categories and functors in reverse and computable mathematics

This page was built for publication: Reverse mathematics and fully ordered groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5937813)