Skip to main content Accessibility help

CA0 and order types of countable ordered groups

  • Reed Solomon (a1)


Reverse mathematics uses subsystems of second order arithmetic to determine which set existence axioms are required to prove particular theorems. Surprisingly, almost every theorem studied is either provable in RCA0 or equivalent over RCA0 to one of four other subsystems: WKL0, ACA0, ATR0 or CA0. Of these subsystems, CA0 has the fewest known equivalences. This article presents a new equivalence of C0 which comes from ordered group theory.

One of the fundamental problems about ordered groups is to classify all possible orders for various classes of orderable groups. In general, this problem is extremely difficult to solve. Mal'tsev [1949] solved a related problem by showing that the order type of a countable ordered group is ℤαε where ℤ is the order type of the integers, ℚ is the order type of the rationals, α is a countable ordinal, and ε is either 0 or 1. The goal of this article is to prove that this theorem is equivalent over RCA0 to CA0.

In Section 2, we give the basic definitions and notation for RCA0, ACA0 and CA0 as well as for ordered groups. For more information on reverse mathematics, see Friedman, Simpson, and Smith [1983] or Simpson [1999] and for ordered groups, see Kokorin and Kopytov [1974] or Fuchs [1963]. Our notation will follow these sources. In Section 3, we show that CA0 suffices to prove Mal'tsev's Theorem and the reversal is done over RCA0 in Section 4.



Hide All
Friedman, Harvey M. and Hirst, Jeffrey L. [1990], Weak comparability of well orderings and reverse mathematics, Annals of Pure and Applied Logic, vol. 47, pp. 1129.
Friedman, Harvey M., Simpson, Stephen G., and Smith, Rick L. [1983], Countable algebra and set existence axioms, Annals of Pure and Applied Logic, vol. 25, pp. 141181.
Fuchs, L. [1963], Partially ordered algebraic systems, Pergamon Press.
Hirst, Jeffry L. [1999], Ordinal inequalities, transfinite induction, and reverse mathematics, this Journal, vol. 64, no. 2, pp. 769774.
Jockusch, Carl G. Jr. and Soare, Robert I. [1991], Degrees of orderings not isomorphic to recursive linear orderings, Annals of Pure and Applied Logic, vol. 52, pp. 3964.
Kokorin, A.I. and Kopytov, V.M. [1974], Fully ordered groups, Halsted Press.
Kunen, Kenneth [1980], Set theory an introduction to independence proofs, North-Holland.
Mal'tsev, A.I. [1949], On ordered groups, Izvestiya Akademii Nauk SSSR Seriya Matematicheskaya, vol. 13, pp. 473482, (Russian).
Simpson, Stephen G. [1999], Subsystems of second order arithmetic, Springer-Verlag.
Soare, Robert I. [1987], Recursively enumerable sets and degrees, Perspectives in Mathematical Logic, Springer-Verlag.
Solomon, David Reed [1998], Reverse mathematics and ordered groups, Ph.D. Thesis, Cornell University.
Solomon, David Reed [1999], Ordered groups: a case study in reverse mathematics, The Bulletin of Symbolic Logic, vol. 5, no. 2, pp. 4558.


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed