相当完备的实闭域
Quite Complete Real Closed fields
AI总结：
本文证明任意有序域可扩张为具有任意长有界闭区间递减序列交非空性质的域，等价于消除两侧共尾性相等的戴德金分割，从而加强了已有结果。
摘要：
我们证明任意有序域都可扩张为这样的域：其中任意长度的有界闭区间递减序列都具有非空交集；等价地，不存在两侧共尾性相等的戴德金分割。此处我们加强了已发表版本的结果。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
