Ordered Groups: A Case Study in Reverse Mathematics

§

[1]  Jerzy Łoś.  On the Existence of Linear Order in a Group , 1954 .

[2]  D. Louvish,et al.  Fully Ordered Groups , 1974 .

[3]  Stuart A. Kurtz,et al.  Recursion theory and ordered groups , 1986, Ann. Pure Appl. Log..

[4]  Stephen G. Simpson,et al.  Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? , 1984, Journal of Symbolic Logic.

[5]  Solomon Feferman,et al.  Hilbert's program relativized; Proof-theoretical and foundational reductions , 1988, Journal of Symbolic Logic.

[6]  S. G. Simpson,et al.  Which set existence axioms are needed to prove the separable Hahn-Banach theorem? , 1986, Ann. Pure Appl. Log..

[7]  Dan Segal,et al.  The algorithmic theory of polycyclic-by-finite groups☆ , 1991 .

[8]  C. J. Everett,et al.  Ordered Groups , 1945, Dimension Groups and Dynamical Systems.

[9]  Stephen G. Simpson,et al.  Subsystems of second order arithmetic , 1999, Perspectives in mathematical logic.

[10]  C. Parsons.  On a Number Theoretic Choice Schema and its Relation to Induction , 1970 .

[11]  Jeffry L. Hirst,et al.  Weak Comparability of Well Orderings and Reverse Mathematics , 1990, Ann. Pure Appl. Log..

[12]  H.-H. Teh,et al.  Construction of orders in Abelian groups , 1961, Mathematical Proceedings of the Cambridge Philosophical Society.

[13]  A. Nerode,et al.  Effective content of field theory , 1979 .

[14]  R. Soare.  Recursively enumerable sets and degrees , 1987 .

[15]  Frank R. Drake.  On the Foundations of Mathematics in 1987 , 1989 .

[16]  Stephen G. Simpson,et al.  Countable algebra and set existence axioms , 1983, Ann. Pure Appl. Log..

[17]  Masao Ohnishi,et al.  Linear-order on a group , 1952 .

[18]  L. Fuchs.  Note on ordered groups and rings , 1958 .

[19]  Stephen G. Simpson,et al.  Partial realizations of Hilbert's program , 1988, Journal of Symbolic Logic.

[20]  P. Lorenzen.  Über halbgeordnete Gruppen , 1949 .

[21]  Jeffry L. Hirst.  Reverse Mathematics and Ordinal Exponentiation , 1994, Ann. Pure Appl. Log..

[22]  M. Rabin.  Computable algebra, general theory and theory of computable fields. , 1960 .