Symmetrically complete ordered sets abelian groups and fields.

DOI10.1007/S11856-015-1199-ZzbMATH Open1345.06016arXiv1308.0780OpenAlexW2248186100MaRDI QIDQ891080FDOQ891080

Katarzyna Kuhlmann, S. Shelah, Franz-Viktor Kuhlmann

Publication date: 16 November 2015

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

Abstract: We characterize and construct linearly ordered sets, abelian groups and fields that are {emph symmetrically complete}, meaning that the intersection over any chain of closed bounded intervals is nonempty. Such ordered abelian groups and fields are important because generalizations of Banach's Fixed Point Theorem hold in them. We prove that symmetrically complete ordered abelian groups and fields are divisible Hahn products and real closed power series fields, respectively. We show how to extend any given ordered set, abelian group or field to one that is symmetrically complete. A main part of the paper establishes a detailed study of the cofinalities in cuts.

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

zbMATH Keywords

ordered groupsordered fieldsordered Abelian groupssymmetric cutssymmetrically complete ordered extensionssymmetrically complete ordered sets

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Total orders (06A05) Ordered sets and their cofinalities; pcf theory (03E04) Ordered fields (12J15)

Cites Work

• Lectures on formally real fields
• Maximal fields with valuations
• Quite complete real closed fields
• Maps on Ultrametric Spaces, Hensel's Lemma, and Differential Equations Over Valued Fields
• Correction to ``A common generalization of metric, ultrametric and topological fixed point theorems
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• On the structure of nonarchimedean exponential fields. I
• The prime spectrum of an infinite product of copies of Z
• Functorial equations for lexicographic products

Cited In (4)

• Selected methods for the classification of cuts, and their applications
• A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures
• Construction of ball spaces and the notion of continuity
• Coincidence point theorems for ball spaces and their applications

This page was built for publication: Symmetrically complete ordered sets abelian groups and fields.

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