@article{KnSh:825, author = {Kanovei, Vladimir and Shelah, Saharon}, trueauthor = {Kanovei, Vladimir and Shelah, Saharon}, fromwhere = {RU,IL}, journal = {Journal of Symbolic Logic}, note = { arxiv:math/0311165 }, pages = {159--164}, title = {{A definable nonstandard model of the reals}}, volume = {69}, year = {2004}, }