Abstract
We prove, in ZFC, the existence of a definable, countably saturated elementary extension of the reals.
Citation
Vladimir Kanovei. Saharon Shelah. "A definable nonstandard model of the reals." J. Symbolic Logic 69 (1) 159 - 164, March 2004. https://doi.org/10.2178/jsl/1080938834
Information
Published: March 2004
First available in Project Euclid: 2 April 2004
zbMATH: 1070.03044
MathSciNet: MR2039354
Digital Object Identifier: 10.2178/jsl/1080938834
Rights: Copyright © 2004 Association for Symbolic Logic