Sciweavers

BSL
2006
73views more  BSL 2006»
13 years 4 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