You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Nonstandard Arithmetic and Reverse Mathematics
Contributor:
Keisler, H. Jerome
Published:
Cambridge University Press (CUP), 2006
Published in:
Bulletin of Symbolic Logic, 12 (2006) 1, Seite 100-125
Language:
English
DOI:
10.2178/bsl/1140640945
ISSN:
1079-8986;
1943-5894
Origination:
Footnote:
Description:
<jats:title>Abstract</jats:title><jats:p>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 [3] 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.</jats:p>