| | |
| | |
Stat |
Members: 3645 Articles: 2'500'096 Articles rated: 2609
17 April 2024 |
|
| | | |
|
Article overview
| |
|
Completions of countable non-standard models of Q | Peter Laubenheimer
; Thomas Schick
; Ulrich Stuhler
; | Date: |
21 Apr 2006 | Subject: | Logic; Rings and Algebras | Abstract: | 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. | Source: | arXiv, math/0604466 | Services: | Forum | Review | PDF | Favorites |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser claudebot
|
| |
|
|
|
| News, job offers and information for researchers and scientists:
| |