Studia Logica 55 (2):347 - 376 (1995)

In this article we show how the universe of BST, bounded set theory can be enlarged by definable subclasses of sets so that Separation and Replacement are true in the enlargement for all formulas, including those in which the standardness predicate may occur. Thus BST 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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00372770
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,541
Through your library

References found in this work BETA

Standard Foundations for Nonstandard Analysis.David Ballard & Karel Hrbacek - 1992 - Journal of Symbolic Logic 57 (2):741-748.
On the Strength of Nonstandard Analysis.C. Ward Henson & H. Jerome Keisler - 1986 - Journal of Symbolic Logic 51 (2):377-386.
Nonstandard Set Theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.
Internal Set Theory: A New Approach to Nonstandard Analysis.Edward Nelson - 1977 - Journal of Symbolic Logic 48 (4):1203-1204.

View all 9 references / Add more references

Citations of this work BETA

A Definable Nonstandard Enlargement.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (2):167-175.
A Theory of Hyperfinite Sets.P. V. Andreev & E. I. Gordon - 2006 - Annals of Pure and Applied Logic 143 (1-3):3-19.
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.

Add more citations

Similar books and articles


Added to PP index

Total views
141 ( #85,191 of 2,533,469 )

Recent downloads (6 months)
1 ( #391,480 of 2,533,469 )

How can I increase my downloads?


My notes