Internal Approach to External Sets and Universes: Part 3: Partially Saturated Universes

Studia Logica 56 (3):293-322 (1996)

Authors
Abstract
In this article ‡ we show how the universe of HST, Hrbaček set theory admits a system of subuniverses which keep the Replacement, model Power set and Choice, 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
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,223
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.
Nonstandard Set Theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.

View all 6 references / Add more references

Citations of this work BETA

A Definable Nonstandard Enlargement.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (2):167-175.
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

Set Theoretic Properties of Loeb Measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
Pseudo-Superstructures as Nonstandard Universes.Mauro Di Nasso - 1998 - Journal of Symbolic Logic 63 (1):222 - 236.
Pseudo-Superstructures as Nonstandard Universes.Mauro Di Nasso - 1998 - Journal of Symbolic Logic 63 (1):222-236.
Regular Universes and Formal Spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1):299-316.
Universes in Explicit Mathematics.Gerhard Jäger, Reinhard Kahle & Thomas Studer - 2001 - Annals of Pure and Applied Logic 109 (3):141-162.
Categorías aristotélicas y categorías intensionales.Gérold Stahl - 1989 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (2):461-469.

Analytics

Added to PP index
2009-01-28

Total views
65 ( #134,795 of 2,285,769 )

Recent downloads (6 months)
8 ( #128,563 of 2,285,769 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature