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