The valuation difference rank of a quasi-ordered difference field

DOI10.1007/978-3-319-51718-6_23MaRDI QIDQ3298267zbMATH OpenOpenAlexFDO

Authors Salma Kuhlmann, Mickaël Matusinski, Françoise Point

Publication date 14 July 2020

Published in Groups, Modules, and Model Theory - Surveys and Recent Developments (Search for Journal in Brave)

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

zbMATH Keywords

abelian groupautomorphismHahn fieldHahn groupisometryordered fieldquasi-ordered fieldrank of an orderedvalued field

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered fields (12J15) Model theory of fields (12L12)

Abstract: There are several equivalent characterizations of the valuation rank of an ordered or valued field. In this paper, we extend the theory to the case of an ordered or valued {it difference} field (that is, ordered or valued field endowed with a compatible field automorphism). We introduce the notion of {it difference rank}. To treat simultaneously the cases of ordered and valued fields, we consider quasi-ordered fields. We characterize the difference rank as the quotient modulo the equivalence relation naturally induced by the automorphism (which encodes its growth rate). In analogy to the theory of convex valuations, we prove that any linearly ordered set can be realized as the difference rank of a maximally valued quasi-ordered difference field. As an application, we show that for every regular uncountable cardinal $kappa$ such that $kappa=kapp{a}^{<kappa}$, there are $2^{kappa}$ pairwise non-isomorphic quasi-ordered difference fields of cardinality $kappa$, but all isomorphic as quasi-ordered fields.

Recommendations

• The differential rank of a differential-valued field
• Existentially closed ordered difference fields and rings
• Multiplicative valued difference fields
• Model theory of difference fields
• Rank and dimension in difference-differential fields

Cites work

• \(\kappa\)-bounded exponential-logarithmic power series fields
• Anneaux preordonnes
• Automorphisms and Isomorphisms of Real Henselian Fields
• Automorphisms of fields of formal power series
• Cell decompositions of C-minimal structures
• scientific article; zbMATH DE number 3890254 (Why is no real title available?)
• scientific article; zbMATH DE number 3815780 (Why is no real title available?)
• scientific article; zbMATH DE number 3689524 (Why is no real title available?)
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 1008468 (Why is no real title available?)
• scientific article; zbMATH DE number 205998 (Why is no real title available?)
• scientific article; zbMATH DE number 3207354 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 3050845 (Why is no real title available?)
• Lectures on formally real fields
• Maximal fields with valuations
• On \(\eta_{\alpha}\)-groups and fields
• Ordered exponential fields
• Quasi-ordered fields
• The theory of real places
• The theory of well-quasi-ordering: a frequently discovered concept
• Valuation theory of exponential Hardy fields. II: Principal parts of germs in the Hardy field of o-minimal exponential expansions of the reals. Dedicated to the memory of Murray Marshall
• Valued Fields

Cited in

(7)

• A structure theorem for abelian quasi-ordered groups
• Quantifier elimination for quasi-real closed fields
• The automorphism group of a valued field of generalised formal power series
• The differential rank of a differential-valued field
• Compatibility of quasi-orderings and valuations: a Baer-Krull theorem for quasi-ordered rings
• Existentially closed ordered difference fields and rings
• Generalised power series determined by linear recurrence relations

This page was built for publication: The valuation difference rank of a quasi-ordered difference field

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