Quite complete real closed fields

DOI10.1007/BF02771536MaRDI QIDQ1881744zbMATH OpenFDO

Authors S. Shelah

Publication date 15 October 2004

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0112212

Mathematics Subject Classification ID

Field extensions (12F99) Ordered fields (12J15)

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.

Review text

The paper deals with ``symmetric closures of linearly ordered fields. A cut \((A,B)\) in a linearly ordered field \(K\) is called {symmetric} if the cofinality of \(A\) equals the coinitiality of \(B.\) A real closed field is called {symmetrically complete} if it has no symmetric cuts. The main result of the paper is: Theorem 1.1. Let \(K\) be an arbitrary ordered field. Then there is a symmetrically complete real closed field containing \(K.\) It seems that the author is not familiar with the notion of symmetric cut and results of the reviewer pertaining to it [cf. Sib. Mat. Zh. 42, No. 6, 1350--1360 (2001; Zbl 0998.12011)].

Recommendations

• Symmetrically complete ordered sets abelian groups and fields.
• ON SYMMETRIC CUTS OF A REAL-CLOSED FIELD
• scientific article; zbMATH DE number 2039028
• Plongement dense d'un corps ordonné dans sa clôture réelle
• Proper cuts in ^*R

Cited in

(18)

• Proper cuts in ^*R
• Complete sets in differentially closed fields
• A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures
• Model-theoretic applications of cofinality spectrum problems
• Real closed graded fields
• scientific article; zbMATH DE number 2186942 (Why is no real title available?)
• Every real closed field has an integer part
• Cofinality spectrum problems: the axiomatic approach
• Construction of ball spaces and the notion of continuity
• Models of PA: when two elements are necessarily order automorphic
• scientific article; zbMATH DE number 4139894 (Why is no real title available?)
• Strongly dependent theories
• Selected methods for the classification of cuts, and their applications
• ON SYMMETRIC CUTS OF A REAL-CLOSED FIELD
• A parallel to the null ideal for inaccessible \(\lambda\). I
• scientific article; zbMATH DE number 7795500 (Why is no real title available?)
• Cuts of a totally ordered field of rational functions over an Archimedean field
• Symmetrically complete ordered sets abelian groups and fields.

This page was built for publication: Quite complete real closed fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1881744)