A definable nonstandard model of the reals

Details A definable nonstandard model of the reals A definable nonstandard model of the reals

2003-11-11

arxiv.org/abs/math/0311165v1

Mathematics

Logic

(6 pages) to appear in JSL

Scientific paper

We prove in ZFC the existence of a definable, countably saturated elementary extension of the reals. It seems that it has been taken for granted that there is no distinguished, definable nonstandard model of the reals. (This means a countably saturated elementary extension of the reals.) Of course if V=L then there is such an extension (just take the first one in the sense of the canonical well-ordering of L), but we mean the existence provably in ZFC. There were good reasons for this: without Choice we cannot prove the existence of any elementary extension of the reals containing an infinitely large integer. Still there is one. Theorem (ZFC). There exists a definable, countably saturated extension R* of the reals R, elementary in the sense of the language containing a symbol for every finitary relation on R.

Affiliated with

Also associated with

No associations

Rating

A definable nonstandard model of the reals does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A definable nonstandard model of the reals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A definable nonstandard model of the reals will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-421784