Real Closed Metric Valued Fields

• Real closed metric valued fields are real closed fields equipped with a nontrivial convex valuation that induces an ultrametric, where balls serve as fundamental geometric objects.
• They exhibit quantifier elimination and weak o-minimal behavior in both one-sorted first-order languages and continuous logic, ensuring strong model-theoretic tameness.
• Analytic expansions and geometric applications reveal their versatility, supporting integration theories, embedding results, and connections with residue field and value group analyses.

Real closed metric valued fields are real closed valued fields viewed through the ultrametric induced by the valuation. In the standard first-order setting, this means a real closed field equipped with a nontrivial convex valuation; in the metric setting, the same valuation yields a non-Archimedean distance, so balls become the basic geometric objects. The subject sits at the intersection of ordered field model theory, valuation theory, non-Archimedean geometry, and continuous logic, and it has been developed both in one-sorted languages for ordered valued fields and in metric presentations based on the projective line or on the valuation ring (Kovacsics et al., 2018, Anderson et al., 13 Oct 2025).

1. Valuation, order, and the induced ultrametric

A valued field is a pair $(K,v)$ where $v$ is a valuation. In the multiplicative normalization used in "Real closed valued fields with analytic structure" (Kovacsics et al., 2018), one fixes a divisible ordered abelian group $\Gamma$ and lets

$v:K\to \Gamma\cup\{0\}$

be surjective and satisfy $v(x)=0$ iff $x=0$, $v(xy)=v(x)v(y)$, and $v(x+y)\le \max\{v(x),v(y)\}$. The valuation ring is

$O:=K^\circ=\{x\in K: v(x)\le 1\},$

its maximal ideal is

$M:=K^{\circ\circ}=\{x\in K: v(x)<1\},$

and the residue field is $v$0, with residue map $v$1. Open and closed balls are given by valuation inequalities: $v$2

Fixing $v$3, one may define an absolute value and an ultrametric by

$v$4

Then $v$5, $v$6, and

$v$7

This is why the phrase “metric valued field” does not introduce a new algebraic object: it emphasizes that the valuation already determines a non-Archimedean metric geometry (Kovacsics et al., 2018). In additive notation, the same viewpoint appears as $v$8 for $v$9, which is the normalization used in the work on almost real closed fields with real analytic structure (Nguyen et al., 2024).

An ordered valued field is a field $\Gamma$0 with a total order $\Gamma$1 and a nontrivial valuation whose valuation ring is convex in the order. A real closed valued field is then a model of the $\Gamma$2-theory of real closed fields equipped with a nontrivial convex valuation. In this setting the residue field is real closed and the value group is divisible, and the convexity of the valuation ring is the compatibility condition that links the order topology to the valuative one (Kovacsics et al., 2018).

2. The basic first-order theory of RCVF

The classical language for real closed valued fields is

$\Gamma$3

where $\Gamma$4 abbreviates $\Gamma$5. A fundamental theorem due to Cherlin–Dickmann states that RCVF has quantifier elimination in $\Gamma$6 (Kovacsics et al., 2018). This is the core tameness statement for the pure ordered valued-field structure.

A more constructive quantifier-elimination perspective appears in "Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination" (Alonso et al., 2022). There the working language is

$\Gamma$7

where $\Gamma$8 is interpreted as $\Gamma$9. The paper gives a quantifier elimination algorithm for RCVF based on generalized Taylor formulae on Thom intervals. On such intervals, the valuation of a polynomial $v:K\to \Gamma\cup\{0\}$0 is expressed as a minimum of finitely many affine functions in a valuation parameter such as $v:K\to \Gamma\cup\{0\}$1 or $v:K\to \Gamma\cup\{0\}$2, and existential conditions reduce to finite Boolean combinations of sign tests and valuation comparisons. The same work derives theorems about constructible subsets of real valuative affine space and a valuative cell decomposition in which definable sets are controlled by linear conditions in the value group (Alonso et al., 2022).

This first-order theory should not be conflated with o-minimality. The valuation is part of the language, so the geometry is already non-Archimedean at the definable level. A recurring theme in the literature is that quantifier elimination in RCVF yields strong tameness, but not o-minimality in the classical ordered-field sense.

3. Analytic expansions and their tameness properties

A central development concerns analytic expansions of real closed valued fields. In the separated analytic setting of Cubides Kovacsics and Haskell, one fixes a ring $v:K\to \Gamma\cup\{0\}$3 and subrings

$v:K\to \Gamma\cup\{0\}$4

with separated variables, where the $v:K\to \Gamma\cup\{0\}$5-variables range over $v:K\to \Gamma\cup\{0\}$6 and the $v:K\to \Gamma\cup\{0\}$7-variables over $v:K\to \Gamma\cup\{0\}$8. The associated one-sorted language $v:K\to \Gamma\cup\{0\}$9 extends $v(x)=0$0 by analytic function symbols and a total inverse with $v(x)=0$1. For a real closed valued field with separated analytic $v(x)=0$2-structure, $v(x)=0$3 eliminates quantifiers, and the resulting theory is weakly o-minimal: every one-variable definable subset is a finite union of convex sets (Kovacsics et al., 2018).

The same paper treats rank $v(x)=0$4 complete real closed valued fields with overconvergent analytic structure. If $v(x)=0$5 denotes the ring of overconvergent power series, the language $v(x)=0$6 again yields a one-sorted expansion, and $v(x)=0$7 eliminates quantifiers. A key auxiliary lemma states that if $v(x)=0$8 satisfies $v(x)=0$9, then $x=0$0 for all $x=0$1; this positivity control is used to eliminate order constraints. In both the separated and overconvergent settings, one-variable analytic terms are piecewise of the form $x=0$2, where $x=0$3 is rational and $x=0$4 is a strong unit, so order and valuation conditions reduce piecewise to rational data (Kovacsics et al., 2018).

A distinct but related analytic framework is developed in "Almost real closed fields with real analytic structure" (Nguyen et al., 2024). There one starts from a strong and rich real Weierstrass system $x=0$5, considers an almost real closed field with $x=0$6-analytic structure, and works in a language naming a convex valuation ring. In this setting the theory is $x=0$7-h-minimal. The paper also proves relative quantifier elimination to $x=0$8, and in a three-sorted language $x=0$9 obtains quantifier elimination to the residue field and value group sorts; the residue field sort carries an induced analytic language $v(xy)=v(x)v(y)$0, the value group remains in the pure ordered abelian group language, and the two sorts are stably embedded and orthogonal (Nguyen et al., 2024).

A frequent misconception is that adding real analytic structure should preserve o-minimality. The literature distinguishes two situations. Cluckers and Lipshitz showed that real closed fields with real analytic structure, without a valuation symbol, are o-minimal. Once a convex valuation ring is named, o-minimality fails, but the valued structure becomes tame in a different sense: weak o-minimality in the one-sorted analytic expansions of RCVF, and $v(xy)=v(x)v(y)$1-h-minimality in the real Weierstrass setting (Kovacsics et al., 2018, Nguyen et al., 2024).

4. Continuous-logic presentations and metric order theory

A second line of development studies real closed metric valued fields in continuous logic. In Ben Yaacov’s framework, the underlying metric structure is the projective line $v(xy)=v(x)v(y)$2 of a metric valued field, equipped with a non-Archimedean projective metric. In this setting, quantifier elimination was obtained for algebraically closed and real closed metric non-trivially valued fields, and "An Approximate AKE Principle for Metric Valued Fields" proves that in equicharacteristic $v(xy)=v(x)v(y)$3 with dense value group, elementary equivalence of metric valued fields is determined by the residue field and value group up to the residue-shift phenomenon in metric ultrapowers. For real closed metric non-trivially valued fields with convex valuation ring, the relevant fixed-point class is $v(xy)=v(x)v(y)$4, and a corollary identifies $v(xy)=v(x)v(y)$5 with ordinary elementary equivalence in the classical three-sorted language (Hils et al., 2022).

"Metric Linear Orders and O-Minimality" introduces two continuous-logic presentations specialized to the ordered real closed case (Anderson et al., 13 Oct 2025). The projective-line presentation, denoted ORCMVF, defines a cyclic order on $v(xy)=v(x)v(y)$6 by an explicit predicate

$v(xy)=v(x)v(y)$7

with $v(xy)=v(x)v(y)$8 iff the cyclic order relation holds. Its cyclic-order reduct models the theory UDCO and is cyclically o-minimal. The valuation-ring presentation, denoted ORCMVR, takes the valuation ring $v(xy)=v(x)v(y)$9 with the induced metric $v(x+y)\le \max\{v(x),v(y)\}$0, field operations, order, and the binary predicate

$v(x+y)\le \max\{v(x),v(y)\}$1

which encodes divisibility and valuation comparison. In this presentation the value-group imaginary is an ultrametric linear order, ORCMVR admits quantifier elimination, and the theory is weakly o-minimal but not o-minimal (Anderson et al., 13 Oct 2025).

These two continuous-logic pictures are complementary rather than contradictory. The projective-line structure is the metrically tame cyclic presentation; the valuation-ring structure mirrors the classical behavior of ordered real closed valued fields, including weak o-minimality and the failure of o-minimality.

5. Independence, stratification, and geometric structure

The internal model theory of real closed valued fields is shaped by the residue field and the value group. Ealy, Haskell, and Maříková formulate a notion of residue field domination for RCVF that generalizes stable domination in ACVF. Over a maximal base, a real closed valued field is dominated by the sorts internal to the residue field over the value group, both in the pure field sort and in the geometric sorts. They further characterize forking and thorn-forking over maximal bases by independence in the residue field and in the value group (Ealy et al., 2017). This is precisely the ordered-valued analogue of the ACVF principle that types are controlled by residue and value data, with the caveat that in RCVF there is no nontrivial stable part and domination is phrased via $v(x+y)\le \max\{v(x),v(y)\}$2-internal sorts rather than stable domination.

Valuative geometry also enters through tangent cones and non-Archimedean stratifications. In "Stratifications of tangent cones in real closed (valued) fields", tangent cones of definable sets are defined by valuation-theoretic or ultrametric limiting conditions, and a main theorem states that a $v(x+y)\le \max\{v(x),v(y)\}$3-stratification of a definable set induces a $v(x+y)\le \max\{v(x),v(y)\}$4-stratification on its tangent cone (Ramírez, 2015). Passing to non-standard models of the real field yields an archimedean counterpart: an archimedean $v(x+y)\le \max\{v(x),v(y)\}$5-stratification induces Whitney stratifications on tangent cones of semi-algebraic sets. This links the non-Archimedean metric geometry of RCVF directly to classical singularity-theoretic regularity (Ramírez, 2015).

A further structural direction is the study of strongly minimal relics of T-convex fields. Since RCVF is the basic T-convex example, the results specialize to real closed valued fields: non-locally modular strongly minimal definable relics must be two-dimensional, and every strongly minimal one-dimensional definable RCVF-relic is locally modular (Castle et al., 2024). The paper also shows that, in RCVF, trichotomy questions for interpretable relics reduce to trichotomy for definable relics because any non-locally modular strongly minimal interpretable relic embeds definably into a finite product of either the valued field sort or the residue field sort (Castle et al., 2024).

6. Canonical examples, metric invariants, and further applications

Hahn and Puiseux series are the standard examples. If $v(x+y)\le \max\{v(x),v(y)\}$6 is real closed and $v(x+y)\le \max\{v(x),v(y)\}$7 is divisible, then the Hahn field $v(x+y)\le \max\{v(x),v(y)\}$8 is a real closed valued field; $v(x+y)\le \max\{v(x),v(y)\}$9 is the prototypical real closed metric valued field with full analytic structure, residue field $O:=K^\circ=\{x\in K: v(x)\le 1\},$0, and value group $O:=K^\circ=\{x\in K: v(x)\le 1\},$1 in the pure ordered-abelian-group language (Nguyen et al., 2024). The same family also underlies Ishiki’s non-Archimedean Arens–Eells theorem: every ultrametric space embeds isometrically into a valued field extension with algebraically independent image, and in characteristic $O:=K^\circ=\{x\in K: v(x)\le 1\},$2, with real closed coefficient field and divisible value group, the ambient Hahn or Levi–Civita field can be chosen real closed. The paper also realizes Urysohn universal ultrametric spaces as valued fields, specifically as Levi–Civita fields $O:=K^\circ=\{x\in K: v(x)\le 1\},$3; in the real closed characteristic-$O:=K^\circ=\{x\in K: v(x)\le 1\},$4 regime, this yields real closed valued-field realizations of universal ultrametric spaces (Ishiki, 2023).

Metric invariants have recently been studied directly. For any infinite field with a nontrivial non-Archimedean absolute value, the metric dimension equals the density character: $O:=K^\circ=\{x\in K: v(x)\le 1\},$5 For archimedean real closed fields, which embed as ordered subfields of $O:=K^\circ=\{x\in K: v(x)\le 1\},$6, the metric dimension is $O:=K^\circ=\{x\in K: v(x)\le 1\},$7. The same work proves that multiplication is uniformly open on every valued field, and in the non-Archimedean case one may take a quadratic modulus such as $O:=K^\circ=\{x\in K: v(x)\le 1\},$8 (Maghsoudi et al., 4 Jun 2026). For real closed metric valued fields this means that the ultrametric geometry controls both the size of resolving sets and a quantitative openness property of the field multiplication.

The valuation also supports analytic and measure-theoretic constructions. For non-Archimedean real closed fields with archimedean value group containing the reals, one has a semialgebraic Lebesgue measure and integration theory with values in a controlled enlargement of the base field. In the Puiseux-series case the volume algebra is $O:=K^\circ=\{x\in K: v(x)\le 1\},$9, the length of an interval is $M:=K^{\circ\circ}=\{x\in K: v(x)<1\},$0, Euclidean balls satisfy $M:=K^{\circ\circ}=\{x\in K: v(x)<1\},$1, and the theory includes change of variables, dominated convergence, the fundamental theorem of calculus, and Fubini for constructible functions (Kaiser, 2014). In a different direction, Positivstellensätze for semi-algebraic sets defined by mixtures of order constraints and valuation constraints provide algebraic certificates for nonnegativity and strict positivity on valuative semi-algebraic sets; valuation inequalities are converted into positivity conditions of the form $M:=K^{\circ\circ}=\{x\in K: v(x)<1\},$2, reflecting the geometry of ultrametric balls inside ordered valued fields (Lavi, 2011).

Taken together, these results show that real closed metric valued fields admit several parallel descriptions. In one-sorted first-order languages they support quantifier elimination and weak o-minimality phenomena; in analytic expansions they exhibit separated, overconvergent, and real Weierstrass tameness; in continuous logic they appear as projective-line or valuation-ring metric structures with cyclic or weak o-minimal behavior; and in geometric, algebraic, and measure-theoretic applications, the decisive organizing data remain the valuation, its induced ultrametric, the residue field, and the value group.