Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 261-272 |
| Number of pages | 12 |
| Journal | Israel Journal of Mathematics |
| Volume | 142 |
| DOIs | |
| State | Published - 2004 |