Ordered Groups: A Case Study in Reverse Mathematics

DOI10.2307/421140zbMATH Open0922.03078DBLPjournals/bsl/Solomon99OpenAlexW4244366408WikidataQ56226698 ScholiaQ56226698MaRDI QIDQ4254643FDOQ4254643

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

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

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)

Cites Work

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

Cited In (11)

• Reverse mathematics and fully ordered groups
• \(\Pi_{1}^{0}\) classes and orderable groups
• Structure of semisimple rings in reverse and computable mathematics
• Infinite dimensional proper subspaces of computable vector spaces
• Retracted: Ordered groups with a modality
• Computability-theoretic and proof-theoretic aspects of partial and linear orderings
• \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups
• Title not available (Why is that?)
• The complexity of ascendant sequences in locally nilpotent groups
• Title not available (Why is that?)
• Title not available (Why is that?)

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)