Elementary Extensions of External Classes in a Nonstandard Universe |
| |
Authors: | Kanovei Vladimir Reeken Michael |
| |
Affiliation: | (1) Moscow Transport Engineering Institute, Russia;(2) Bergische Universität GHS Wuppertal, Russia |
| |
Abstract: | 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. |
| |
Keywords: | nonstandard set theory inner subuniverses constructibility iterated elementary extensions |
本文献已被 SpringerLink 等数据库收录! |
|