Skip to main content
Log in

Internal approach to external sets and universes

Part 2 external universes over the universe of bounded set theory

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. D. Ballard, Foundational aspects of “non” standard mathematics.Contemporary Math. 1994, 176.

  2. D. Ballard and K. Hrbaček, Standard foundations for nonstandard analysis.J. Symbolic Logic 1992, 57, pp. 741–748.

    Google Scholar 

  3. 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.

  4. C. W. Henson and H. J. Keisler, On the strength of nonstandard analysis.J. Symbolic Logic 1986, 51, pp. 377–386.

    Google Scholar 

  5. K. Hrbaček, Axiomatic foundations for nonstandard analysis.Fundamenta Mathematicae 1978, 98, pp 1–19.

    Google Scholar 

  6. K. Hrbaček, Nonstandard set theory,Amer. Math. Monthly 1979, 86, pp. 659–677.

    Google Scholar 

  7. A. E. Hurd and P. A. Loeb,An introduction to nonstandard real analysis (Academic Press, 1985).

  8. V. Kanovei, Undecidable hypotheses in Edward Nelson's Internal Set Theory.Russian Math. Surveys 1991, 46, pp. 1–54.

    Google Scholar 

  9. V. Kanovei,A course on foundations of nonstandard analysis. (With a preface by M. Reeken.) IPM, Tehran, Iran, 1994.

    Google Scholar 

  10. V. Kanovei, Uniqueness, Collection, and external collapse of cardinals inIST and models of Peano arithmetic.J. Symbolic Logic 1995, 57, 1, pp. 1–7.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

  13. 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.

  14. H. J. Keisler, K. Kunen, A. Miller, and S. Leth, Descriptive set theory over hyperfinite sets,J. Symbolic Logic 1989, 54, pp. 1167–1180.

    Google Scholar 

  15. 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.

  16. R. Lutz and M. Goze,Nonstandard analysis. A practical guide with applications (Lecture Notes Math. 881, Springer, 1981).

  17. W. A. J. Luxemburg, What is nonstandard analysis?Amer. Math. Monthly 1973, 80 (Supplement), pp. 38–67.

    Google Scholar 

  18. E. Nelson, Internal set theory; a new approach to nonstandard analysis,Bull. Amer. Math. Soc. 1977, 83, pp. 1165–1198.

    Google Scholar 

  19. M. Reeken, On external constructions in Internal Set Theory.Expositiones Mathematicae 1992, 10, pp. 193–247.

    Google Scholar 

  20. K. D. Stroyan and J. M. Bayod,Foundations of infinitesimal stochastic analysis (North Holland, 1986).

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01057803

Keywords

Navigation