Sciweavers

88
Voted
BSL
2006
73views more  BSL 2006»
14 years 9 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