93
Voted
BSL
2006
14 years 10 months ago
2006
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...