Internal approach to external sets and universes

Studia Logica 56 (3):293 - 322 (1996)
In this article we show how the universe of HST, Hrbaek set theory (a nonstandard set theory of external type, which includes, in particular, the ZFC Replacement and Separation schemata for all formulas in the language containing the membership and standardness predicates, and Saturation for standard size families of internal sets, but does not include the Power set axiom) admits a system of subuniverses which keep the Replacement, model Power set and Choice (in fact all of ZFC, with the exception of the Regularity axiom, which indeed is replaced by the Regularity over the internal subuniverse), and also keep as much of Saturation as it is necessary.This gives sufficient tools to develop the most complicated topics in nonstandard analysis, such as Loeb measures.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00372770
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,743
Through your library
References found in this work BETA

Add more references

Citations of this work BETA
A Definable Nonstandard Enlargement.Frederik S. Herzberg - 2008 - Mathematical Logic Quarterly 54 (2):167-175.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

24 ( #212,947 of 2,178,087 )

Recent downloads (6 months)

9 ( #32,776 of 2,178,087 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums