Highly Influenced

# Nonstandard arithmetic and reverse mathematics

@article{Keisler2006NonstandardAA, title={Nonstandard arithmetic and reverse mathematics}, author={H. Jerome Keisler}, journal={Bulletin of Symbolic Logic}, year={2006}, volume={12}, pages={100-125} }

- Published 2006 in 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

#### References

##### Publications referenced by this paper.

Showing 1-8 of 8 references

Highly Influential

Highly Influential