Bulletin of Symbolic Logic
- Bull. Symbolic Logic
- Volume 12, Issue 1 (2006), 100-125.
Nonstandard arithmetic and reverse mathematics
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  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.
Bull. Symbolic Logic, Volume 12, Issue 1 (2006), 100-125.
First available in Project Euclid: 22 February 2006
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Keisler, H. Jerome. Nonstandard arithmetic and reverse mathematics. Bull. Symbolic Logic 12 (2006), no. 1, 100--125. doi:10.2178/bsl/1140640945. https://projecteuclid.org/euclid.bsl/1140640945