|
|||||
|
|
Addendum to “A definable nonstandard enlargement” |
|
| Authors: | Frederik Herzberg |
| Abstract: | ?o?'s theorem for bounded D ‐ultrapowers, D being the ultrafilter introduced by Kanovei and Shelah [4], is established. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| Keywords: | Nonstandard universe definability superstructure ultrapower elementary embedding |