pith. sign in

arxiv: 2208.10186 · v2 · submitted 2022-08-22 · 🧮 math.LO

An Approximate AKE Principle for Metric Valued Fields

Martin Hils , Stefan Marian Ludwig This is my paper

Pith reviewed 2026-05-24 11:35 UTC · model grok-4.3

classification 🧮 math.LO
keywords valued fieldscontinuous logicAx-Kochen-Ershov principleelementary equivalenceresidue fieldvalue groupmodel companiondifference fields
0
0 comments X

The pith

Metric valued fields in continuous logic obey an approximate Ax-Kochen-Ershov principle that reduces elementary equivalence in equicharacteristic zero to the residue field and value group.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper equips valued fields with a metric coming from the projective line and interprets them in continuous logic. Under this semantics it proves that two fields in equicharacteristic zero are elementarily equivalent exactly when their residue fields and value groups are. The same setting is used to show that no model companion exists for the theory of metric valued difference fields in any characteristic.

Core claim

In the metric framework on the projective line, the elementary theory of a valued field of equicharacteristic zero is completely determined by the theories of its residue field and its value group; this yields an approximate Ax-Kochen-Ershov principle. The same framework shows that the theory of metric valued difference fields admits no model companion in any characteristic.

What carries the argument

the continuous-logic semantics on the metric projective line, which supports approximate transfer of elementary equivalence from residue field and value group

If this is right

  • Elementary equivalence of equicharacteristic-zero metric valued fields is completely described by the residue field and value group.
  • The theory of metric valued difference fields has no model companion in any characteristic.
  • The non-existence result answers a question of Ben Yaacov on model companions for these structures.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same metric transfer might be tested in mixed characteristic after suitable modifications to the language.
  • Stability or simplicity of the continuous-logic theory could be read off directly from the residue field and value group when the principle applies.
  • Ultraproducts of metric valued fields may inherit the same approximate description of their theories.

Load-bearing premise

The metric on the projective line together with continuous-logic semantics permits approximate transfer of elementary equivalence from residue field and value group to the valued field itself.

What would settle it

Two equicharacteristic-zero metric valued fields whose residue fields and value groups are elementarily equivalent, yet whose own continuous-logic theories differ, would falsify the claimed approximate principle.

read the original abstract

We study metric valued fields in continuous logic, following Ben Yaacov's approach, thus working in the metric space given by the projective line. As our main result, we obtain an approximate Ax-Kochen-Ershov principle in this framework, completely describing elementary equivalence in equicharacteristic 0 in terms of the residue field and value group. Moreover, we show that, in any characteristic, the theory of metric valued difference fields does not admit a model-companion. This answers a question of Ben Yaacov.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper develops the model theory of metric valued fields in continuous logic, working with the metric structure on the projective line. Its central result is an approximate Ax-Kochen-Ershov principle that completely characterizes elementary equivalence for equicharacteristic-zero fields in terms of the residue field and value group. It further proves that the theory of metric valued difference fields admits no model companion in any characteristic, answering a question of Ben Yaacov.

Significance. If the results hold, the work supplies a continuous-logic analogue of the classical AKE theorem, furnishing a precise description of approximate elementary equivalence for a natural class of metric structures on valued fields. The negative result on model companions is a self-contained contribution that directly resolves an open question. The framework itself, by equipping valued fields with a projective-line metric and continuous-logic semantics, is a reusable technical advance.

minor comments (3)
  1. [§2] §2, Definition 2.4: the metric on the projective line is introduced via the formula d([x:y],[x':y']) = |xy' - x'y| / max(|x|,|y|) max(|x'|,|y'|), but the subsequent continuity claims for the valued-field operations would benefit from an explicit verification that the metric is ultrametric or at least satisfies the required modulus of uniform continuity.
  2. [Theorem 4.3] Theorem 4.3 (the approximate AKE statement): the quantifier-free types are described via residue-field and value-group data, yet the proof sketch does not record the precise modulus of approximation that appears in the continuous-logic semantics; adding an explicit ε-δ statement would make the transfer principle easier to apply.
  3. [§5] §5, the non-existence of a model companion for difference fields: the argument relies on a specific family of difference equations whose inconsistency is shown by a compactness argument; a short diagram or explicit sequence of formulas witnessing the failure would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and for recommending minor revision. No major comments were provided in the report, so we have no specific points requiring rebuttal or clarification at this time. We will address any minor suggestions during the revision process.

Circularity Check

0 steps flagged

No circularity; derivation self-contained as new theorems

full rationale

The paper states its main result—an approximate AKE principle for metric valued fields in continuous logic—as a new theorem that describes elementary equivalence in equicharacteristic zero via residue field and value group. No equations or steps reduce a claimed prediction to a fitted input by construction, nor does any load-bearing premise collapse to a self-citation chain. The work follows Ben Yaacov's prior framework (distinct authors) but invokes it only as background, not as an unverified uniqueness theorem or ansatz that forces the result. The derivation is therefore independent of its inputs and self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard axioms of continuous first-order logic and the definition of metric valued fields; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Continuous logic semantics on metric structures
    Invoked by following Ben Yaacov's approach for metric valued fields.
  • domain assumption Properties of residue field and value group in equicharacteristic zero
    Used to describe elementary equivalence in the main result.

pith-pipeline@v0.9.0 · 5602 in / 1212 out tokens · 18776 ms · 2026-05-24T11:35:05.962898+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    Ax and S

    J. Ax and S. Kochen. Diophantine problems over local fields. I. Amer. J. Math. , 87:605–630, 1965

    work page 1965

  2. [2]

    Ax and S

    J. Ax and S. Kochen. Diophantine problems over local fields. II. A complete set of axioms for p-adic number theory. Amer. J. Math. , 87:631–648, 1965

    work page 1965

  3. [3]

    Ax and S

    J. Ax and S. Kochen. Diophantine problems over local fields. III. Decidable fields. Ann. of Math. (2), 83:437–456, 1966

    work page 1966

  4. [4]

    B´ elair, A

    L. B´ elair, A. Macintyre, and T. Scanlon. Model theory of the Frobenius on the Witt vectors. American Journal of Mathematics , 129(3):665–721, 2007

    work page 2007

  5. [5]

    Ben Yaacov

    I. Ben Yaacov. Model theoretic properties of metric valued fields. The Journal of Symbolic Logic, 79(3):655?675, Aug 2014. AN APPROXIMATE AKE PRINCIPLE FOR METRIC VALUED FIELDS 21

    work page 2014

  6. [6]

    Ben Yaacov, A

    I. Ben Yaacov, A. Berenstein, C. W. Henson, and A. Usvyatsov. Model theory for metric structures. In Model theory with applications to algebra and analysis. Vol. 2 , volume 350 of London Math. Soc. Lecture Note Ser. , pages 315–427. Cambridge Univ. Press, Cambridge, 2008

    work page 2008

  7. [7]

    Chatzidakis and E

    Z. Chatzidakis and E. Hrushovski. Model theory of difference fields. Transactions of the American Mathematical Society, 351(8):2997–3071, 1999

    work page 1999

  8. [8]

    Chatzidakis and E

    Z. Chatzidakis and E. Hrushovski. Difference fields and descent in algebraic dynamics. I. Journal of the Institute of Mathematics of Jussieu , 7(4):653?686, 2008

    work page 2008

  9. [9]

    Chernikov and M

    A. Chernikov and M. Hils. Valued difference fields and NTP2. Israel J. Math., 204(1):299–327, 2014

    work page 2014

  10. [10]

    Dacunha-Castelle and J

    D. Dacunha-Castelle and J. Krivine. Application des ultraproduits ` a l’´ etude des espaces et des alg` ebres de Banach.Studia Mathematica, 41:315–334, 1972

    work page 1972

  11. [11]

    Drut ¸u and M

    C. Drut ¸u and M. Kapovich. Geometric group theory , volume 63 of American Mathemati- cal Society Colloquium Publications . American Mathematical Society, Providence, RI, 2018. With an appendix by Bogdan Nica

    work page 2018

  12. [12]

    Engler and A

    A. Engler and A. Prestel. Valued fields. Springer Monographs in Mathematics. Springer Berlin Heidelberg, 2005

    work page 2005

  13. [13]

    J. L. Erˇ sov. On the elementary theory of maximal normed fields. Dokl. Akad. Nauk SSSR , 165:21–23, 1965

    work page 1965

  14. [14]

    M. D. Fried and M. Jarden. Field arithmetic, volume 11 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)] . Springer-Verlag, Berlin, 1986

    work page 1986

  15. [15]

    J. Hong. Definable non-divisible henselian valuations. Bulletin of the London Mathematical Society, 46, 02 2014

    work page 2014

  16. [16]

    Hrushovski

    E. Hrushovski. The Manin?Mumford conjecture and the model theory of difference fields. Annals of Pure and Applied Logic , 112(1):43–115, 2001

    work page 2001

  17. [17]

    Hrushovski

    E. Hrushovski. The elementary theory of the Frobenius automorphisms. Preprint, arXiv:math/0406514v1, 2004

    work page arXiv 2004

  18. [18]

    Kikyo and S

    H. Kikyo and S. Shelah. The strict order property and generic automorphisms. Journal of Symbolic Logic, 67(1):214–216, 2002

    work page 2002

  19. [19]

    Koenigsmann

    J. Koenigsmann. Elementary characterization of fields by their absolute Galois group.Siberian Advances in Mathematics, 14:16–42, 2004

    work page 2004

  20. [20]

    L. S. Krapp, S. Kuhlmann, and G. Leh´ ericy. Ordered fields dense in their real closure and definable convex valuations. Forum Mathematicum, 33(4):953?972, May 2021

    work page 2021

  21. [21]

    Medvedev and T

    A. Medvedev and T. Scanlon. Invariant varieties for polynomial dynamical systems. Annals of Mathematics, 179, 01 2009

    work page 2009

  22. [22]

    F. Pop. Little survey on large fields—old & new. In Valuation theory in interaction , EMS Ser. Congr. Rep., pages 432–463. Eur. Math. Soc., Z¨ urich, 2014

    work page 2014

  23. [23]

    Robinson and E

    A. Robinson and E. Zakon. Elementary properties of ordered abelian groups. Transactions of the American Mathematical Society , 96(2):222–236, 1960

    work page 1960

  24. [24]

    van den Dries and A

    L. van den Dries and A. Wilkie. Gromov’s theorem on groups of polynomial growth and elementary logic. Journal of Algebra, 89(2):349–374, 1984

    work page 1984

  25. [25]

    E. Zakon. Generalized archimedean groups. Transactions of the American Mathematical So- ciety, 99(1):21–40, 1961. Institut f¨ur Mathematische Logik und Grundlagenforschung, Westf¨alische Wilhelms- Universit¨at M¨unster, Einsteinstr. 62, D-48149 M ¨unster, Germany Email address: hils@uni-muenster.de D´epartement de Math´ematiques et Applications, ´Ecole No...

    work page 1961