Translator Disclaimer
March 2006 Nonstandard arithmetic and reverse mathematics
H. Jerome Keisler
Bull. Symbolic Logic 12(1): 100-125 (March 2006). DOI: 10.2178/bsl/1140640945

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

Download 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

Published: March 2006
First available in Project Euclid: 22 February 2006

zbMATH: 1101.03040
MathSciNet: MR2209331
Digital Object Identifier: 10.2178/bsl/1140640945

Rights: Copyright © 2006 Association for Symbolic Logic

JOURNAL ARTICLE
26 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.12 • No. 1 • March 2006
Back to Top