Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
- [1]Patrick Billingsley, Convergence of Probability Measures, second edition. Wiley & Sons, Inc., New York (1999).MATHGoogle Scholar
- [2]Edward Nelson, “Internal set theory: A new approach to nonstandard analysis”, Bull. Amer. Math. Soc., 83 (1987) 1165–1198.Google Scholar
- [3]Edward Nelson, Radically Elementary Probability Theory, Annals of Mathematics Studies #117, Princeton University Press. Princeton, New Jersey (1987). http://www.math.princeton.edu/~nelson/books.htmlMATHGoogle Scholar
Copyright information
© Springer-Verlag Wien 2007