A definable nonstandard model of the reals

by Kanovei and Shelah. [KnSh:825]
J Symbolic Logic, 2004
We prove, in ZFC, the existence of a definable, countably saturated elementary extension of the reals.


Back to the list of publications