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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,429

External links

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

Through your library

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-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.
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
81 (#148,491)

6 months
10 (#79,968)

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