Completions of countable non-standard models of Q

Details Completions of countable non-standard models of Q Completions of countable non-standard models of Q

2006-04-21

arxiv.org/abs/math/0604466v3

Mathematics

Logic

8 pages; missing commas in metadata (author field) added

Scientific paper

In this note, we study non-standard models of the rational numbers with countably many elements. These are ordered fields, and so it makes sense to complete them, using non-standard Cauchy sequences. The main result of this note shows that these completions are real closed, i.e. each positive number is a square, and each polynomial of odd degree has a root. This way, we give a direct proof of a consequence of a theorem of Hauschild. In a previous version of this note, not being aware of these results, we missed to mention this reference. We thank Matthias Aschenbrenner for pointing out this and related work. We also give some information about the set of real parts of the finite elements of such completions -about the more interesting results along this we have been informed by Matthias Aschenbrenner. The main idea to achieve the results relies on a way to describe real zeros of a polynomial in terms of first order logic. This is achieved by carefully using the sign changes of such a polynomial.

Affiliated with

Also associated with

No associations

Rating

Completions of countable non-standard models of Q 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 Completions of countable non-standard models of Q, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Completions of countable non-standard models of Q will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-627220