Abstract
We show that each of the five basic theories of second order arithmetic that play a central role in reverse mathematics has a natural counterpart in the language of nonstandard arithmetic. In the earlier paper [3] we introduced saturation principles in nonstandard arithmetic which are equivalent in strength to strong choice axioms in second order arithmetic. This paper studies principles which are equivalent in strength to weaker theories in second order arithmetic.
Citation
H. Jerome Keisler. "Nonstandard arithmetic and reverse mathematics." Bull. Symbolic Logic 12 (1) 100 - 125, March 2006. https://doi.org/10.2178/bsl/1140640945
Information