Abstract
In this article we show how the universe ofBST,bounded set theory (a modification ofIST which is, briefly, a theory for the family of those sets inIST which are members of standard sets) can be enlarged by definable subclasses of sets (which are not necessarily sest in internal theories likeBST orIST) so that Separation and Replacement are true in the enlargement for all formulas, including those in which the standardness predicate may occur.
ThusBST is strong enough to incorporate external sets in the internal universe in a way sufficient to develop topics in nonstandard analysis inaccessible in the framework of a purely internal approach, such as Loeb measures.
Similar content being viewed by others
References
D. Ballard, Foundational aspects of “non” standard mathematics.Contemporary Math. 1994, 176.
D. Ballard and K. Hrbaček, Standard foundations for nonstandard analysis.J. Symbolic Logic 1992, 57, pp. 741–748.
F. Diener and K. D. Stroyan, Syntactical methods in infinitesimal analysis, in: N. Cutland (ed.)Nonstandard analysis and its applications (London Math. Soc. Student Texts 10, Cambridge Univ. Press, 1988), pp. 258 – 281.
C. W. Henson and H. J. Keisler, On the strength of nonstandard analysis.J. Symbolic Logic 1986, 51, pp. 377–386.
K. Hrbaček, Axiomatic foundations for nonstandard analysis.Fundamenta Mathematicae 1978, 98, pp 1–19.
K. Hrbaček, Nonstandard set theory,Amer. Math. Monthly 1979, 86, pp. 659–677.
A. E. Hurd and P. A. Loeb,An introduction to nonstandard real analysis (Academic Press, 1985).
V. Kanovei, Undecidable hypotheses in Edward Nelson's Internal Set Theory.Russian Math. Surveys 1991, 46, pp. 1–54.
V. Kanovei,A course on foundations of nonstandard analysis. (With a preface by M. Reeken.) IPM, Tehran, Iran, 1994.
V. Kanovei, Uniqueness, Collection, and external collapse of cardinals inIST and models of Peano arithmetic.J. Symbolic Logic 1995, 57, 1, pp. 1–7.
V. Kanovei and M. Reeken, Internal approach to external sets and universes. Part 1. Bounded set theory,Studia Logica 1995, 55, 2, pp. 229–258.
T. Kawaï, Nonstandard analysis by axiomatic methods, in:Southeast Asia Conference on Logic, Singapore 1981 (Studies in Logic and Foundations of Mathematics, 111, North Holland, 1983), pp. 55 – 76.
H. J. Keisler, The hyperreal line, in P. Erlich (ed.)Real numbers, generalizations of reals, and theories of continua, Kluwer Academic Publishers, 1994, pp. 207 – 237.
H. J. Keisler, K. Kunen, A. Miller, and S. Leth, Descriptive set theory over hyperfinite sets,J. Symbolic Logic 1989, 54, pp. 1167–1180.
T. Lindstrøm, An invitation to nonstandard analysis, in: N. Cutland (ed.)Nonstandard analysis and its applications (London Math. Soc. Student Texts 10, Cambridge Univ. Press, 1988), pp. 1 – 105.
R. Lutz and M. Goze,Nonstandard analysis. A practical guide with applications (Lecture Notes Math. 881, Springer, 1981).
W. A. J. Luxemburg, What is nonstandard analysis?Amer. Math. Monthly 1973, 80 (Supplement), pp. 38–67.
E. Nelson, Internal set theory; a new approach to nonstandard analysis,Bull. Amer. Math. Soc. 1977, 83, pp. 1165–1198.
M. Reeken, On external constructions in Internal Set Theory.Expositiones Mathematicae 1992, 10, pp. 193–247.
K. D. Stroyan and J. M. Bayod,Foundations of infinitesimal stochastic analysis (North Holland, 1986).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kanovei, V., Reeken, M. Internal approach to external sets and universes. Stud Logica 55, 347–376 (1995). https://doi.org/10.1007/BF01057803
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01057803