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.
Similar content being viewed by others
References
D. Scott,On complete ordered fields, inApplications of Model Theory to Algebra, Analysis, and Probability (W. A. J. Luxemburg, ed.), Holt, Rinehart, and Winston, New York, 1969, pp. 274–278.
Author information
Authors and Affiliations
Corresponding author
Additional information
Research supported by the United States-Israel Binational Science Foundation. Publication 757.
Rights and permissions
About this article
Cite this article
Shelah, S. Quite complete real closed fields. Isr. J. Math. 142, 261–272 (2004). https://doi.org/10.1007/BF02771536
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02771536