A weak theory nonstandard analysis, with types at all finite levels over both the integers and hyperintegers, is developed as a possible framework for reverse mathematics. In this weak theory, we investigate the strength of standard part principles and saturation principles which are often used in practice along with first order reasoning about the hyperintegers to obtain second order conclusions about the integers. © 2007 Springer-Verlag Wien.
CITATION STYLE
Keisler, H. J. (2007). The strength of nonstandard analysis. In The Strength of Nonstandard Analysis (pp. 3–26). Springer. https://doi.org/10.1007/978-3-211-49905-4_1
Mendeley helps you to discover research relevant for your work.