pith. machine review for the scientific record. sign in

arxiv: 2605.12323 · v1 · submitted 2026-05-12 · 🧮 math.LO

Recognition: no theorem link

Trace definability II: model-theoretic linearity

Erik Walsberg

Pith reviewed 2026-05-13 02:38 UTC · model grok-4.3

classification 🧮 math.LO
keywords NIP structuresweakly o-minimalShelah completiontrace definabilitylocal trace definabilityinterpretabilitydp-minimalordered abelian groups
0
0 comments X

The pith

A weakly o-minimal NIP structure interprets no infinite group, yet its Shelah completion interprets an infinite field.

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

The paper constructs a weakly o-minimal structure that does not interpret any infinite group. Taking the Shelah completion of this structure produces a new structure in which an infinite field becomes interpretable. This example shows that additional algebraic content can appear during completion of NIP structures. A reader would care because the result separates the interpretability present in the original structure from what emerges later. The paper further introduces local trace definability as a weaker form of comparing structures and proves a dichotomy between linearity and field structure for dp-minimal expansions of archimedean ordered abelian groups.

Core claim

The paper constructs a weakly o-minimal structure M such that M does not interpret an infinite group but the Shelah completion of M interprets an infinite field. This serves as an example of NIP structures in which new algebraic structure appears in the Shelah completion. The work also introduces local trace definability, a weak notion of interpretability between first-order structures, and proves a dichotomy between linearity and field structure for dp-minimal expansions of archimedean ordered abelian groups, along with additional results on trace definability.

What carries the argument

local trace definability, a weak notion of interpretability between first-order structures weaker than standard interpretability, used to compare structures and track algebraic emergence in completions

If this is right

  • New algebraic objects such as infinite fields can arise in the Shelah completion even when the original NIP structure interprets none.
  • Local trace definability supplies a weaker equivalence relation than full interpretability for comparing structures.
  • dp-minimal expansions of archimedean ordered abelian groups fall into either a linear case or a case with field structure.
  • Trace definability relations hold between various classes of NIP and o-minimal structures.

Where Pith is reading between the lines

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

  • Similar constructions might separate other model-theoretic properties from their completions in NIP theories.
  • The emergence of fields only after completion could be tested in other ordered structures or dp-minimal classes.
  • Local trace definability may help classify when algebraic content is preserved or added under operations like completion.

Load-bearing premise

The constructed structure must truly avoid interpreting any infinite group while the Shelah completion must interpret an infinite field, with no overlooked contradictions in the definitions of these properties.

What would settle it

Explicitly define the structure in the language of ordered groups, then check by direct computation or proof whether any infinite group is interpretable in the base structure and whether an infinite field appears in its Shelah completion.

read the original abstract

We give examples of $\mathrm{NIP}$ structures in which new algebraic structure appears in the Shelah completion. In particular we construct a weakly o-minimal structure $\mathscr{M}$ such that $\mathscr{M}$ does not interpret an infinite group but the Shelah completion of $\mathscr{M}$ interprets an infinite field. We introduce a weak notion of interpretability called local trace definability between first order structures and an associated weak notion of equivalence. We give a dichotomy between ``linearity" and ``field structure" for dp-minimal expansions of archimedean ordered abelian groups. We also prove several other results about trace definability and local trace definability between various classes of structures.

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 / 2 minor

Summary. The paper constructs a weakly o-minimal NIP structure M such that M does not interpret an infinite group, but the Shelah completion of M interprets an infinite field. It introduces a weak notion of interpretability called local trace definability (and an associated weak equivalence) between first-order structures. It also establishes a dichotomy between linearity and field structure for dp-minimal expansions of archimedean ordered abelian groups, and proves several auxiliary results on trace definability and local trace definability across various classes of structures.

Significance. If the central construction and dichotomy hold, the paper supplies a concrete counterexample separating interpretability properties between a structure and its Shelah completion, which is of interest in the model theory of NIP and o-minimal structures. The local trace definability framework and the dp-minimal dichotomy provide new technical tools for comparing algebraic content across expansions and completions. The results are self-contained and do not rely on unstated assumptions that would collapse the claimed distinctions.

minor comments (2)
  1. §2: the definition of local trace definability is introduced via a sequence of auxiliary notions; a single consolidated definition box would improve readability for readers encountering the concept for the first time.
  2. The paper is a sequel; a brief recap paragraph in the introduction summarizing the key notions from Part I would help readers who have not recently consulted the predecessor.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of the paper, which correctly highlights the construction of a weakly o-minimal NIP structure whose Shelah completion interprets an infinite field, the introduction of local trace definability, and the linearity-field dichotomy for dp-minimal expansions of archimedean ordered abelian groups. We are pleased with the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central claims rest on an explicit construction of a weakly o-minimal NIP structure M together with the introduction of the new notions of local trace definability and associated equivalence. The dichotomy for dp-minimal expansions of archimedean ordered abelian groups, the non-interpretability of infinite groups in M, and the field interpretation in the Shelah completion are all developed and verified directly from the definitions and the construction supplied in the manuscript. No load-bearing step reduces by definition or by self-citation chain to its own inputs; prior work on trace definability is cited only for background and is not required to force the new results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper relies on standard model-theoretic background and introduces one new concept; no free parameters or invented entities with independent evidence are described in the abstract.

axioms (1)
  • standard math Standard definitions and closure properties of NIP structures, weakly o-minimal structures, dp-minimal structures, and the Shelah completion.
    These are invoked throughout as background from the model theory literature.
invented entities (1)
  • local trace definability no independent evidence
    purpose: A weak notion of interpretability and associated equivalence between first-order structures.
    Newly introduced in the paper to support the other results.

pith-pipeline@v0.9.0 · 5396 in / 1234 out tokens · 55505 ms · 2026-05-13T02:38:54.702485+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

56 extracted references · 56 canonical work pages

  1. [1]

    Aschenbrenner, A

    M. Aschenbrenner, A. Chernikov, A. Gehret, and M. Ziegler. Distality in valued fields and related structures.Trans. Amer. Math. Soc., 375(7):4641–4710, 2022

    work page 2022

  2. [2]

    Aschenbrenner, L

    M. Aschenbrenner, L. van den Dries, and J. van der Hoeven.Asymptotic differential algebra and model theory of transseries, volume 195 ofAnnals of Mathematics Studies. Princeton University Press, Prince- ton, NJ, 2017

    work page 2017

  3. [3]

    Basit, A

    A. Basit, A. Chernikov, S. Starchenko, T. Tao, and C.-M. Tran. Zarankiewicz’s problem for semilinear hypergraphs.Forum of Mathematics, Sigma, 9, 2021

    work page 2021

  4. [4]

    B´ elair

    L. B´ elair. Panorama ofp-adic model theory.Ann. Sci. Math. Qu´ ebec, 36(1):43–75 (2013), 2012

    work page 2013

  5. [5]

    Belegradek, Y

    O. Belegradek, Y. Peterzil, and F. Wagner. Quasi-o-minimal structures.J. Symbolic Logic, 65(3):1115– 1132, 2000

    work page 2000

  6. [6]

    Berenstein and E

    A. Berenstein and E. Vassiliev. Weakly one-based geometric theories.J. Symbolic Logic, 77(2):392–422

    work page

  7. [7]

    Berenstein and E

    A. Berenstein and E. Vassiliev. Geometric structures with a dense independent subset.Selecta Math. (N.S.), 22(1):191–225, 2016

    work page 2016

  8. [8]

    Braunfeld and M

    S. Braunfeld and M. C. Laskowski. Indiscernibles in monadically nip theories.Bulletin of the London Mathematical Society, 57(11):3326–3345, 2025

    work page 2025

  9. [9]

    Chernikov and A

    A. Chernikov and A. Mennen. Semi-equational theories.The Journal of Symbolic Logic, 90(1):391–422, 2025

    work page 2025

  10. [10]

    Chernikov and S

    A. Chernikov and S. Starchenko. Regularity lemma for distal structures.Journal of the European Math- ematical Society, July 2015

    work page 2015

  11. [11]

    F. Delon. D´ efinissabilit´ e avec param` etres ext´ erieurs dansQp etR.Proc. Amer. Math. Soc., 106(1):193– 198, 1989

    work page 1989

  12. [12]

    Dolich and J

    A. Dolich and J. Goodrick. Strong theories of ordered Abelian groups.Fund. Math., 236(3):269–296

    work page

  13. [13]

    Dolich and J

    A. Dolich and J. Goodrick. A characterization of strongly dependent ordered Abelian groups.Rev. Colombiana Mat., 52(2):139–159, 2018

    work page 2018

  14. [14]

    Dolich, C

    A. Dolich, C. Miller, and C. Steinhorn. Structures having o-minimal open core.Trans. Amer. Math. Soc., 362(3):1371–1411, 2010

    work page 2010

  15. [15]

    Dolich, C

    A. Dolich, C. Miller, and C. Steinhorn. Expansions of o-minimal structures by dense independent sets. Ann. Pure Appl. Logic, 167(8):684–706, 2016

    work page 2016

  16. [16]

    L. v. d. Dries.Tame topology and o-minimal structures, volume 248 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1998

    work page 1998

  17. [17]

    M. J. Edmundo. Structure theorems for o-minimal expansions of groups.Ann. Pure Appl. Logic, 102(1- 2):159–181, 2000. 37

    work page 2000

  18. [18]

    M. J. Edmundo, P. E. Eleftheriou, and L. Prelli. Coverings by open cells.Arch. Math. Logic, 53(3- 4):307–325, 2014

    work page 2014

  19. [19]

    P. E. Eleftheriou. Small sets in dense pairs.Israel J. Math., 233(1):1–27, 2019

    work page 2019

  20. [20]

    P. E. Eleftheriou. Small sets in mann pairs.Archive for Mathematical Logic, 60(3):317–327, May 2021

    work page 2021

  21. [21]

    P. Erd˝ os. On extremal problems of graphs and generalized graphs.Israel J. Math., 2:183–190, 1964

    work page 1964

  22. [22]

    Evans, A

    D. Evans, A. Pillay, and B. Poizat. Le groupe dans le groupe.Algebra i Logika, 29(3):368–378, 382, 1990

    work page 1990

  23. [23]

    R. Farre. Strong ordered abelian groups and dp-rank.arXiv:1706.05471, 2017

    work page arXiv 2017

  24. [24]

    M. D. Fried and M. Jarden.Field Arithmetic. Springer Berlin Heidelberg, 2005

    work page 2005

  25. [25]

    Fuchs.Infinite abelian groups

    L. Fuchs.Infinite abelian groups. volume I. Academic Press, 1970

    work page 1970

  26. [26]

    Fuchs.Abelian groups

    L. Fuchs.Abelian groups. Springer Monographs in Mathematics. Springer, Cham, 2015

    work page 2015

  27. [27]

    Halevi, A

    Y. Halevi, A. Hasson, and Y. Peterzil. Interpretable fields in various valued fields.Advances in Mathe- matics, 404:108408, 2022

    work page 2022

  28. [28]

    N. Hempel. Onn-dependent groups and fields.MLQ Math. Log. Q., 62(3):215–224, 2016

    work page 2016

  29. [29]

    Hodges.Model theory, volume 42 ofEncyclopedia of mathematics and its applications

    W. Hodges.Model theory, volume 42 ofEncyclopedia of mathematics and its applications. Cambridge University Press, 1993

    work page 1993

  30. [30]

    Hrushovski and A

    U. Hrushovski and A. Pillay. Weakly normal groups. InLogic colloquium ’85 (Orsay, 1985), volume 122 ofStud. Logic Found. Math., pages 233–244. North-Holland, Amsterdam, 1987

    work page 1985

  31. [31]

    Jahnke, P

    F. Jahnke, P. Simon, and E. Walsberg. Dp-minimal valued fields.J. Symb. Log., 82(1):151–165, 2017

    work page 2017

  32. [32]

    Johnson.Fun with fields

    W. Johnson.Fun with fields. PhD thesis, 2016

    work page 2016

  33. [33]

    Kamensky

    M. Kamensky. Ind- and pro- definable sets.Ann. Pure Appl. Logic, 147(3):180–186, 2007

    work page 2007

  34. [34]

    Kamp.Tense Logic and the Theory of Linear Order

    H. Kamp.Tense Logic and the Theory of Linear Order. PhD thesis, Ucla, 1968

    work page 1968

  35. [35]

    T. Y. Lam.A first course in noncommutative rings, volume 131 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 1991

    work page 1991

  36. [36]

    M. C. Laskowski. Mutually algebraic structures and expansions by predicates.The Journal of Symbolic Logic, 78(1):185–194, 2013

    work page 2013

  37. [37]

    M. C. Laskowski and C. Steinhorn. On o-minimal expansions of Archimedean ordered groups.J. Sym- bolic Logic, 60(3):817–831, 1995

    work page 1995

  38. [38]

    Loveys and Y

    J. Loveys and Y. Peterzil. Linear o-minimal structures.Israel J. Math., 81(1-2):1–30, 1993

    work page 1993

  39. [39]

    Marker and C

    D. Marker and C. I. Steinhorn. Definable types in o-minimal theories.J. Symbolic Logic, 59(1):185–198, 1994

    work page 1994

  40. [40]

    Mekler, M

    A. Mekler, M. Rubin, and C. Steinhorn. Dedekind completeness and the algebraic complexity ofo- minimal structures.Canad. J. Math., 44(4):843–855, 1992

    work page 1992

  41. [41]

    Moconja and P

    S. Moconja and P. Tanovi´ c. Does weak quasi-o-minimality behave better than weak o-minimality? Archive for Mathematical Logic, 61(1-2):81–103, may 2021

    work page 2021

  42. [42]

    Palac´ ın and R

    D. Palac´ ın and R. Sklinos. On superstable expansions of free Abelian groups.Notre Dame J. Form. Log., 59(2):157–169, 2018

    work page 2018

  43. [43]

    Peterzil

    Y. Peterzil. Reducts of some structures over the reals.J. Symbolic Logic, 58(3):955–966, 1993

    work page 1993

  44. [44]

    Peterzil

    Y. Peterzil. Returning to semi-bounded sets.The Journal of Symbolic Logic, 74(2):597–617, 2009

    work page 2009

  45. [45]

    Peterzil and S

    Y. Peterzil and S. Starchenko. A trichotomy theorem for o-minimal structures.Proc. London Math. Soc. (3), 77(3):481–523, 1998

    work page 1998

  46. [46]

    L. S. Rieger. On the ordered and cyclically ordered groups.Vˇ estn´ ık Kr´ alovsk´ eˇCesk´ e Spoleˇ cnosti Nauk. Tˇ r´ ıda Matemat.-Pˇ r´ ırodovˇ ed., 1946(6):31 pp. (1947), 1946

    work page 1946

  47. [47]

    S. Shelah. Dependent first order theories, continued.Israel J. Math., 173:1–60, 2009

    work page 2009

  48. [48]

    Simon.A guide to NIP theories, volume 44 ofLecture Notes in Logic

    P. Simon.A guide to NIP theories, volume 44 ofLecture Notes in Logic. Cambridge University Press

    work page

  49. [49]

    P. Simon. On dp-minimal ordered structures.J. Symbolic Logic, 76(2):448–460, 2011

    work page 2011

  50. [50]

    Simon and E

    P. Simon and E. Walsberg. Dp and other minimalities.The Journal of Symbolic Logic, page 1–30, 2025

    work page 2025

  51. [51]

    van den Dries.Tame topology and o-minimal structures, volume 248 ofLondon Mathematical Society Lecture Note Series

    L. van den Dries.Tame topology and o-minimal structures, volume 248 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1998

    work page 1998

  52. [52]

    van den Dries and A

    L. van den Dries and A. G¨ unaydin. The fields of real and complex numbers with a small multiplicative group.Proc. London Math. Soc. (3), 93(1):43–81, 2006

    work page 2006

  53. [53]

    Walsberg

    E. Walsberg. Externally definable quotients and nip expansions of the real ordered additive group. Transactions of the American Mathematical Society, 375:1, 06 2021. 38

    work page 2021

  54. [54]

    Walsberg

    E. Walsberg. Trace definability I: Preservation and characterizations, 2026

    work page 2026

  55. [55]

    A. J. Wilkie. Covering definable open sets by open cells. InO-minimal Structures, Proceedings of the RAAG Summer School Lisbon 2003, Lecture Notes in Real Algebraic and Analytic Geometry. Cuvillier. Verlag, 2005

    work page 2003

  56. [56]

    Zilber.Uncountably Categorical Theories

    B. Zilber.Uncountably Categorical Theories. American Mathematical Society, Mar. 1993. Email address:erik.walsberg@gmail.com 39

    work page 1993