Abstract
It is shown that Nelson’s internal set theory IST has no definable predicate that is a proper extension of the standardness predicate and satisfies the carry-over, idealization, and standardization principles.
Similar content being viewed by others
References
A. G. Kusraev and C. S. Kutateladze,Nonstandard Methods of Analysis [in Russian], Nauka, Novosibirsk (1990).
P. Vopěnka,Mathematics in the Alternative Set Theory, Teubner-texte zur Mathematik, Leipzig (1979).
D. Ballard and K. Hrbáček, “Standard foundations for nonstandard analysis,”J. Symbolic Logic,57, No. 2, 741–748 (1992).
E. Nelson, “Internal set theory: a new approach to nonstandard analysis,”Bull. Amer. Math. Soc. (N.S.),83, No. 6, 1165–1198 (1977).
E. I. Gordon, “Relatively standard elements in E. Nelson’s internal set theory,”Sibirsk. Mat. Zh. [Siberian Math. J.],30, No. 1, 89–95 (1989).
E. I. Gordon,Nonstandard Methods in Commutative Harmonic Analysis, Amer. Math. Soc., Providence (R.I.) (1997).
B. Beninghofen and M. Richter, “A general theory of superinfinitesimals,”Fund. Math.,123, No. 3, 199–215 (1987).
K. Stroyan, B. Beninghofen, and M. Richter, “Superinfinitesimals in topology and functional analysis,”Proc. London Math. Soc. (3),5, No. 1, 153–181 (1989.
V. A. Molchanov, “On the application of iterated nonstandard extensions to topology,”Sibirsk. Mat. Zh. [Siberian Math. J.],30, No. 3, 64–71 (1989).
E. I. Gordon, “Relative standardness and π-monads of Beninghofen-Richter”, Optimization, No. 48 (65) (1990).
A. Sochor and P. Vopěnka, “Shiftings of the horizon,”Comment. Math. Univ. Carolin.,24, 127–136 (1983).
Y. Peraire, “Theorie relative des ensembles internes,”Osaka J. Math.,29, 267–297 (1992).
V. G. Kanovei, “Unsolvable conjectures in the internal set theory of Edward Nelson,”Uspekhi Mat. Nauk [Russian Math. Surveys],46, No. 6, 3–50 (1991).
V. Kanovei and M. Reeken, “Internal approach to external sets and universes. Part 1. Bounded set theory,”Studia Logica,55, No. 2, 229–257 (1995).
P. V. Andreev, “Standardization in the theory of bounded sets,”Vestnik Moskov. Univ. Ser. I Mat. Mekh. [Moscow Univ. Math. Bull.], No. 1, 68–70 (1997).
Author information
Authors and Affiliations
Additional information
Translated fromMatematicheskie Zametki, Vol. 66, No. 6, pp. 803–809, December, 1999.
Rights and permissions
About this article
Cite this article
Andreev, P.V. Definable predicates of standardness in internal set theory. Math Notes 66, 665–669 (1999). https://doi.org/10.1007/BF02674323
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02674323