Nonstandard arithmetic and reverse mathematics

  title={Nonstandard arithmetic and reverse mathematics},
  author={H. Jerome Keisler},
  journal={Bulletin of Symbolic Logic},
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 [HKK1984] 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. § 

From This Paper

Topics from this paper.
13 Citations
8 References
Similar Papers


Publications referenced by this paper.
Showing 1-8 of 8 references

Logic in Tehran: Proceedings of the Conference in Logic

  • A. Enayat. From bounded arithmetic to second order ar appear
  • Algebra, and Arithmetic held in Tehran,
  • 2003
Highly Influential
12 Excerpts

Perspectives in Mathematical Logic

  • S. G. Simpson. Subsystems of second order arithmetic
  • Springer-Verlag
  • 1999
Highly Influential
7 Excerpts

The strength of nonstandard analysis

  • H. J. Keisler
  • To appear. Available online at http://www.math…
  • 2005

Third Edition

  • C. C. Chang, H. J. Keisler. Model Theory
  • Elsevier
  • 1990
1 Excerpt

257-263 in Infinitistic Methods

  • R. MacDowell, E. Specker. Modelle der arithmetic. Pp
  • Pergamon Press
  • 1961

Similar Papers

Loading similar papers…