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

&
Studia Logica 56 (3):293-322 (1996)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/bf00372770

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 1. Bounded Set Theory; Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 2. External Universe over the Universe of Bounded Set Theory; Vladimir Kanovei, Michael Reeken, Internal Approach to External Sets and Universes. Part 3. Partially Saturated Universes. [REVIEW]Karel Hrbacek - 1999 - Journal of Symbolic Logic 64 (3):1365-1366.
Internal Approach to External Sets and Universes: Part 2. External Universes over the Universe of Bounded Set Theory.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (3):347-376.
Internal Approach to External Sets and Universes: Part 1. Bounded Set Theory.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (2):229-257.
Internal approach to external sets and universes.Vladimir Kanovei & Michael Reeken - 1995 - Studia Logica 55 (2):347 - 376.
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches.Siegfried Gottwald - 2006 - Studia Logica 82 (2):211-244.
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches.Siegfried Gottwald - 2006 - Studia Logica 84 (1):23-50.
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.
Elementary extensions of external classes in a nonstandard universe.Vladimir Kanovei & Michael Reeken - 1998 - Studia Logica 60 (2):253-273.
The realization of infinitely many universes in cosmology.Rodney D. Holder - 2001 - Religious Studies 37 (3):343-350.
Regular universes and formal spaces.Erik Palmgren - 2006 - Annals of Pure and Applied Logic 137 (1-3):299-316.
Universes in explicit mathematics.Gerhard Jäger, Reinhard Kahle & Thomas Studer - 2001 - Annals of Pure and Applied Logic 109 (3):141-162.
Other Universes II.John G. Cramer - unknown
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
2009-01-28

Downloads
99 (#174,437)

6 months
23 (#118,736)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

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

References found in this work

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 8 references / Add more references