Sciweavers

BSL
2006
73views more  BSL 2006»
13 years 11 months ago
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 ari...
H. Jerome Keisler