A definable nonstandard enlargement |
| |
| Authors: | Frederik Herzberg |
| |
| Affiliation: | Institut für Mathematische Wirtschaftsforschung, Universit?t Bielefeld, Postfach 10 01 31, D‐33501 Bielefeld |
| |
| Abstract: | This article establishes the existence of a definable (over ZFC), countably saturated nonstandard enlargement of the superstructure over the reals. This nonstandard universe is obtained as the union of an inductive chain of bounded ultrapowers (i.e. bounded with respect to the superstructure hierarchy). The underlying ultrafilter is the one constructed by Kanovei and Shelah [10]. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| |
| Keywords: | Nonstandard universe definability superstructure ultrapower elementary embedding |
|
|
