A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
Ordered Groups: A Case Study in Reverse Mathematics

1999
*
Bulletin of Symbolic Logic
*

The fundamental question in reverse mathematics is to determine which set existence axioms are required to prove particular theorems of mathematics. In addition to being interesting in their own right, answers to this question have consequences in both effective mathematics and the foundations of mathematics. Before discussing these consequences, we need to be more specific about the motivating question. Reverse mathematics is useful for studying theorems of either countable or essentially

doi:10.2307/421140
fatcat:cd2pazg3znfcnkrupf67uqllxa