Elementary extensions of external classes in a nonstandard universe

Studia Logica 60 (2):253-273 (1998)
  Copy   BIBTEX


In continuation of our study of HST, Hrbaek set theory (a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the st--language, and Saturation for well-orderable families of internal sets), we consider the problem of existence of elementary extensions of inner "external" subclasses of the HST universe.We show that, given a standard cardinal , any set R * generates an "internal" class S(R) of all sets standard relatively to elements of R, and an "external" class L[S(R)] of all sets constructible (in a sense close to the Gödel constructibility) from sets in S(R). We prove that under some mild saturation-like requirements for R the class L[S(R)] models a certain -version of HST including the principle of +-saturation; moreover, in this case L[S(R)] is an elementary extension of L[S(R)] in the st--language whenever sets R R satisfy the requirements.



    Upload a copy of this work     Papers currently archived: 92,369

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

Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
Standard sets in nonstandard set theory.Petr Andreev & Karel Hrbacek - 2004 - Journal of Symbolic Logic 69 (1):165-182.
Set theoretic properties of Loeb measure.Arnold W. Miller - 1990 - Journal of Symbolic Logic 55 (3):1022-1036.
Nonstandard set theory.Peter Fletcher - 1989 - Journal of Symbolic Logic 54 (3):1000-1008.


Added to PP

53 (#303,020)

6 months
5 (#648,401)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Realism, nonstandard set theory, and large cardinals.Karel Hrbacek - 2001 - Annals of Pure and Applied Logic 109 (1-2):15-48.

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.
Internal Set Theory: A New Approach to Nonstandard Analysis.Edward Nelson - 1977 - Journal of Symbolic Logic 48 (4):1203-1204.

Add more references