Quite Complete Real Closed fields
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2001
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866910928397664256 |
|---|---|
| author | Shelah, Saharon |
| author_facet | Shelah, Saharon |
| contents | We prove that any ordered field can be extended to one for which every decreasing sequence of bounded closed intervals, of any length, has a nonempty intersection; equivalently, there are no Dedekind cuts with equal cofinality from both sides. Here we strengthen the results from the published version. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_math_0112212 |
| institution | arXiv |
| publishDate | 2001 |
| record_format | arxiv |
| spellingShingle | Quite Complete Real Closed fields Shelah, Saharon Logic 03C64, 03C60, 03C55, 03C98, 13L05 We prove that any ordered field can be extended to one for which every decreasing sequence of bounded closed intervals, of any length, has a nonempty intersection; equivalently, there are no Dedekind cuts with equal cofinality from both sides. Here we strengthen the results from the published version. |
| title | Quite Complete Real Closed fields |
| topic | Logic 03C64, 03C60, 03C55, 03C98, 13L05 |
| url | https://arxiv.org/abs/math/0112212 |