Ordered Groups: A Case Study in Reverse Mathematics

DOI10.2307/421140MaRDI QIDQ4254643zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Reed Solomon

Publication date 12 September 1999

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0501-toc.htm

zbMATH Keywords

computability theoryexpository paperordered groupsreverse mathematicssurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Theory of numerations, effectively presented structures (03D45) Second- and higher-order arithmetic and fragments (03F35) Ordered groups (06F15) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Recommendations

• Reverse mathematics and fully ordered groups
• \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups
• scientific article; zbMATH DE number 2236630

Cites work

• Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
• Class groups of integral group rings
• Countable algebra and set existence axioms
• Effective content of field theory
• Hilbert's program relativized; Proof-theoretical and foundational reductions
• Partial realizations of Hilbert's program
• Recursion theory and ordered groups
• Reverse mathematics and ordinal exponentiation
• Weak comparability of well orderings and reverse mathematics
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?

Cited in

(13)

• Computability-theoretic and proof-theoretic aspects of partial and linear orderings
• \(\Pi_{1}^{0}\) classes and orderable groups
• \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups
• Ordering free products in reverse mathematics
• scientific article; zbMATH DE number 4152374 (Why is no real title available?)
• scientific article; zbMATH DE number 4156432 (Why is no real title available?)
• scientific article; zbMATH DE number 3920549 (Why is no real title available?)
• Infinite dimensional proper subspaces of computable vector spaces
• Reverse mathematics, Young diagrams, and the ascending chain condition
• The complexity of ascendant sequences in locally nilpotent groups
• Reverse mathematics and fully ordered groups
• Structure of semisimple rings in reverse and computable mathematics
• Retracted: Ordered groups with a modality

This page was built for publication: Ordered Groups: A Case Study in Reverse Mathematics

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