A definable nonstandard enlargement
✍
Frederik Herzberg
📂
Article
📅
2008
🏛
John Wiley and Sons
🌐
English
⚖ 135 KB
## 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 superstru