[FOM] [correction] a definable nonstandard model of the reals

[Philip Ehrlich]

Near the end of my recent response to Dave Marker, I wrote:

" What I believe is misleading in your remark, however, is the 
implication that since No's omnific integers do constitute a suitable 
non-standard model of Arithmetic, No contains no such model."

Of course, what I meant to say is:

What I believe is misleading in your remark, however, is the 
implication that since No's omnific integers do not constitute a 
suitable non-standard model of Arithmetic, No contains no such model.

Philip Ehrlich