Ordered Groups: A Case Study in Reverse Mathematics

DOI10.2307/421140MaRDI QIDQ4254643zbMATHOpenAlexDBLPWikidataFDO

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

surveycomputability theoryreverse mathematicsordered groupsexpository paper

Mathematics Subject Classification ID

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

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)

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

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)