Quite Complete Real Closed fields
Logic
2025-05-06 v6
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. Here we strengthen the results from the published version.
Keywords
Cite
@article{arxiv.math/0112212,
title = {Quite Complete Real Closed fields},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:math/0112212},
year = {2025}
}