It is known that IST (internal set theory) is a conservative extension of ZFC (Zermelo-Fraenkel set theory with the axiom of choice); see for example the appendix to [2] for a proof using ultrapowers and ultralimits. But these semantic constructions leave one wondering what actually makes the theory work-what are the inner mechanisms of Abraham Robinson's new logic. Let us examine the question syntactically. © 2007 Springer-Verlag Wien.
CITATION STYLE
Nelson, E. (2007). The virtue of simplicity. In The Strength of Nonstandard Analysis (pp. 27–32). Springer. https://doi.org/10.1007/978-3-211-49905-4_2
Mendeley helps you to discover research relevant for your work.