pith. sign in

arxiv: 2504.05566 · v2 · submitted 2025-04-07 · 🧮 math.LO

Trace definability I: preservation and characterizations

Erik Walsberg This is my paper

Pith reviewed 2026-05-22 21:16 UTC · model grok-4.3

classification 🧮 math.LO
keywords trace definabilitypreservationcharacterizationclassification theorymodel theoryfirst-order structuresdefinability
0
0 comments X

The pith

Trace definability is a weakening of definability under which some classification-theoretic properties are preserved and can be characterized.

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

The paper introduces trace definability as a weak form of definability for first-order structures. It determines which classification-theoretic properties remain intact when one structure is trace definable in another. The properties that are preserved admit characterizations expressed directly in terms of trace definability. A sympathetic reader would care because the work connects preservation questions to definability conditions, giving a tool to test the robustness of model-theoretic invariants under relaxed definability.

Core claim

We introduce a notion of weak definability of first order structures, show that various classification-theoretic properties are or are not preserved under it, and that the properties which are preserved can also be characterized in terms of it.

What carries the argument

Trace definability, a weakening of ordinary definability between first-order structures.

If this is right

  • Properties preserved under trace definability admit characterizations expressed using trace definability.
  • Certain classification properties fail to be preserved, marking the limits of invariance under this weakening.
  • Trace definability supplies a single method for establishing both preservation and characterization results.

Where Pith is reading between the lines

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

  • The same preservation and characterization pattern may appear with other weakenings of definability in related logical settings.
  • These results could guide the search for invariants that remain stable when structures are obtained via trace definable expansions.

Load-bearing premise

The introduced notion of trace definability is a coherent and useful weakening of ordinary definability that interacts meaningfully with the classification-theoretic properties under consideration.

What would settle it

A specific classification-theoretic property that is preserved under trace definability yet lacks a characterization in terms of trace definability, or one that has such a characterization but fails to be preserved.

read the original abstract

We introduce a notion of weak definability of first order structures, show that various classification-theoretic properties are or are not preserved under it, and that the properties which are preserved can also be characterized in terms of it.

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

1 major / 0 minor

Summary. The paper introduces a notion of trace definability as a weakening of ordinary definability for first-order structures. It claims to establish which classification-theoretic properties are preserved (and which are not) under trace definability, and to give characterizations of the preserved properties in terms of the new notion.

Significance. If the preservation and characterization results are correct, the work would supply a new technical tool in model theory for studying controlled weakenings of definability and their interaction with classification invariants. This could be useful for distinguishing structures where full definability is too restrictive.

major comments (1)
  1. Abstract: the central claims (preservation of some properties, non-preservation of others, and characterizations) cannot be assessed because no definitions of trace definability, no statements of the relevant classification-theoretic properties, no theorems, and no proofs or counterexamples are visible in the supplied text.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We address the single major comment below.

read point-by-point responses

  1. Referee: Abstract: the central claims (preservation of some properties, non-preservation of others, and characterizations) cannot be assessed because no definitions of trace definability, no statements of the relevant classification-theoretic properties, no theorems, and no proofs or counterexamples are visible in the supplied text.

    Authors: The full manuscript contains the definition of trace definability (as a weakening of ordinary definability), the specific classification-theoretic properties under consideration, the precise statements of the preservation and non-preservation theorems, the characterization theorems, and all proofs and counterexamples. The abstract was written to be concise, but we agree that it does not supply sufficient detail for the claims to be evaluated from the abstract alone. We will revise the abstract to include a brief outline of the definition, the main preservation/non-preservation results, and the characterizations. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces a new definition of trace definability for first-order structures and then proves preservation and characterization theorems for various classification-theoretic properties under this notion. No fitted parameters, predictions by construction, self-citations as load-bearing premises, or ansatzes smuggled via prior work appear in the abstract or described content. The central claims are standard mathematical consequences derived from the introduced definition, making the work self-contained with independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated.

pith-pipeline@v0.9.0 · 5534 in / 844 out tokens · 23081 ms · 2026-05-22T21:16:37.689757+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

250 extracted references · 250 canonical work pages · 8 internal anchors

  1. [1]

    Abd-Aldaim, G

    A. Abd-Aldaim, G. Conant, and C. Terry. Higher airity stability and the function order property. arXiv:2305.13111, 2023

    work page arXiv 2023

  2. [2]

    S. A. Adeleke and P. M. Neumann. Relations related to betweenness: their structure and automor- phisms. Mem. Amer. Math. Soc. , 131(623):viii+125, 1998

    work page 1998

  3. [3]

    E. Alouf. On dp-minimal expansions of the integers. arXiv:2001.11480, 2020

    work page arXiv 2001

  4. [4]

    E. Alouf. On dp-minimal expansions of the integers ii, 2024

    work page 2024

  5. [5]

    Alouf and C

    E. Alouf and C. d’Elb´ ee. A new dp-minimal expansion of the integers. J. Symb. Log. , 84(2):632–663, 2019

    work page 2019

  6. [6]

    Antongiulio and T

    F. Antongiulio and T. Giuseppina. Generic derivations on algebraically bounded structures, 2024

    work page 2024

  7. [7]

    Aschenbrenner, A

    M. Aschenbrenner, A. Dolich, D. Haskell, D. Macpherson, and S. Starchenko. Vapnik-Chervonenkis density in some theories without the independence property, II. Notre Dame J. Form. Log. , 54(3- 4):311–363, 2013

    work page 2013

  8. [8]

    Aschenbrenner, A

    M. Aschenbrenner, A. Dolich, D. Haskell, D. Macpherson, and S. Starchenko. Vapnik-Chervonenkis density in some theories without the independence property, I. Trans. Amer. Math. Soc., 368(8):5889– 5949, 2016

    work page 2016

  9. [9]

    Aschenbrenner, L

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

    work page 2017

  10. [10]

    Baisalov and B

    Y. Baisalov and B. Poizat. Paires de structures o-minimales. J. Symbolic Logic, 63(2):570–578, 1998

    work page 1998

  11. [11]

    J. T. Baldwin. Fundamentals of Stability Theory . Perspectives in Logic. Cambridge University Press, 2017

    work page 2017

  12. [12]

    S. Baldwin. A complete classification of the piecewise monotone functions on the interval. Transactions of the American Mathematical Society , 319(1):155–178, 1990

    work page 1990

  13. [13]

    Bar-Yehuda, A

    E. Bar-Yehuda, A. Hasson, and Y. Peterzil. A theory of pairs for non-valuational structures. J. Symb. Log., 84(2):664–683, 2019

    work page 2019

  14. [14]

    Barwise and S

    J. Barwise and S. Feferman, editors. Perspectives in logic: Model-theoretic logics series number 8 . Cambridge University Press, Cambridge, England, Mar. 2017

    work page 2017

  15. [15]

    Basit, A

    A. Basit, A. Chernikov, S. Starchenko, T. Tao, and C.-M. Tran. Zarankiewicz’s problem for semilinear hypergraphs, 2020,arXiv:2009.02922

    work page arXiv 2020

  16. [16]

    BAUDISCH

    A. BAUDISCH. A fra ¨Iss´E limit of nilpotent groups of finite exponent. Bulletin of the London Mathe- matical Society, 33(5):513–519, 2001

    work page 2001

  17. [17]

    Baudisch

    A. Baudisch. Generic variations of models of T . J. Symbolic Logic, 67(3):1025–1038, 2002

    work page 2002

  18. [18]

    Baudisch and A

    A. Baudisch and A. Pillay. A free pseudospace. Journal of Symbolic Logic , 65(1):443–460, 2000

    work page 2000

  19. [19]

    Belegradek

    O. Belegradek. Poly-regular ordered abelian groups. In Logic and algebra , volume 302 of Contemp. Math., pages 101–111. Amer. Math. Soc., Providence, RI, 2002

    work page 2002

  20. [20]

    Belegradek, Y

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

    work page 2000

  21. [21]

    Belegradek, V

    O. Belegradek, V. Verbovskiy, and F. O. Wagner. Coset-minimal groups. Ann. Pure Appl. Logic , 121(2-3):113–143, 2003

    work page 2003

  22. [22]

    Belegradek and B

    O. Belegradek and B. Zilber. The model theory of the field of reals with a subgroup of the unit circle. J. Lond. Math. Soc. (2) , 78(3):563–579, 2008

    work page 2008

  23. [23]

    Berarducci and M

    A. Berarducci and M. Mamino. Groups definable in two orthogonal sorts. Israel J. Math., 208(1):413– 441, 2015

    work page 2015

  24. [24]

    Berenstein and E

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

    work page

  25. [25]

    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

  26. [26]

    Berline and D

    C. Berline and D. Lascar. Superstable groups. Ann. Pure Appl. Log., 30(1):1–43, 1986

    work page 1986

  27. [27]

    Block Gorman, E

    A. Block Gorman, E. Caulfield, and P. Hieronymi. Pathological examples of structures with o-minimal open core. Mathematical Logic Quarterly, 67(3):382–393, 2021

    work page 2021

  28. [28]

    Bodirsky

    M. Bodirsky. New ramsey classes from old. The Electronic Journal of Combinatorics, 21(2), May 2014. 321

    work page 2014

  29. [29]

    Bodirsky

    M. Bodirsky. Ramsey classes: examples and constructions. In Surveys in combinatorics 2015 , volume 424 of London Math. Soc. Lecture Note Ser. , pages 1–48. Cambridge Univ. Press, Cambridge, 2015

    work page 2015

  30. [30]

    Bodirsky, P

    M. Bodirsky, P. Jonsson, and T. V. Pham. The reducts of the homogeneous binary branching C- relation. J. Symb. Log., 81(4):1255–1297, 2016

    work page 2016

  31. [31]

    B. BODOR. Classification of ω-categorical monadically stable structures. The Journal of Symbolic Logic, 89(2):460–495, 2024

    work page 2024

  32. [32]

    Boissonneau, A

    B. Boissonneau, A. Papadopoulos, and P. Touchard. Mekler’s construction and murphy’s law for 2- nilpotent groups, 2024

    work page 2024

  33. [33]

    Borovik and A

    A. Borovik and A. Nesin. Groups of finite Morley rank, volume 26 of Oxford Logic Guides. The Claren- don Press, Oxford University Press, New York, 1994. Oxford Science Publications

    work page 1994

  34. [34]

    Bouscaren and B

    E. Bouscaren and B. Poizat. Des belles paires aux beaux uples. The Journal of Symbolic Logic , 53(2):434–442, 1988

    work page 1988

  35. [35]

    Characterizations of monadic NIP

    S. Braunfeld and M. Laskowski. Characterizations of monadic nip. arXiv:2104.12989, 2021

    work page internal anchor Pith review Pith/arXiv arXiv 2021

  36. [36]

    Braunfeld and M

    S. Braunfeld and M. Laskowski. Theories with few non-algebraic types over models, and their decom- positions, 12 2021

    work page 2021

  37. [37]

    Braunfeld and M

    S. Braunfeld and M. C. Laskowski. Mutual algebraicity and cellularity. Arch. Math. Log. , 61(5–6):841–857, jul 2022

    work page 2022

  38. [38]

    Braunfeld and M

    S. Braunfeld and M. C. Laskowski. Existential characterizations of monadic nip, 2023

    work page 2023

  39. [39]

    Braunfeld and M

    S. Braunfeld and M. C. Laskowski. Indiscernibles in monadically nip theories, 2024

    work page 2024

  40. [40]

    Braunfeld and P

    S. Braunfeld and P. Simon. The classification of homogeneous finite-dimensional permutation struc- tures, 2020, arxiv:1807.07110

    work page arXiv 2020

  41. [41]

    Bria´ nski, P

    M. Bria´ nski, P. Micek, M. Pilipczuk, and M. T. Seweryn. Erd¨ os–hajnal properties for powers of sparse graphs. SIAM Journal on Discrete Mathematics , 35(1):447–464, 2021

    work page 2021

  42. [42]

    Chatzidakis

    Z. Chatzidakis. Simplicity and independence for pseudo-algebraically closed fields. In Models and com- putability (Leeds, 1997), volume 259 of London Math. Soc. Lecture Note Ser., pages 41–61. Cambridge Univ. Press, Cambridge, 1999

    work page 1997

  43. [43]

    Chatzidakis and A

    Z. Chatzidakis and A. Pillay. Generic structures and simple theories. Ann. Pure Appl. Logic , 95(1- 3):71–92, 1998

    work page 1998

  44. [44]

    G. Cherlin. Homogeneous ordered graphs, metrically homogeneous graphs, and beyond. Vol. I, volume 53 of Lecture Notes in Logic . Association for Symbolic Logic, Ithaca, NY; Cambridge University Press, Cambridge, 2022. Ordered graphs and distanced graphs

    work page 2022

  45. [45]

    Cherlin and M

    G. Cherlin and M. A. Dickmann. Real closed rings. II. Model theory. Ann. Pure Appl. Logic, 25(3):213– 231, 1983

    work page 1983

  46. [46]

    Cherlin and E

    G. Cherlin and E. Hrushovski. Finite structures with few types , volume 152 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2003

    work page 2003

  47. [48]

    Cherlin and A

    G. Cherlin and A. H. Lachlan. Stable finitely homogeneous structures. Transactions of the American Mathematical Society, 296(2):815–850, 1986

    work page 1986

  48. [49]

    G. L. Cherlin. Homogeneous directed graphs. The imprimitive case. In Logic colloquium ’85 (Orsay, 1985), volume 122 of Stud. Logic Found. Math., pages 67–88. North-Holland, Amsterdam, 1987

    work page 1985

  49. [50]

    G. L. Cherlin. The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments. Mem. Amer. Math. Soc. , 131(621):xiv+161, 1998

    work page 1998

  50. [51]

    Chernikov and N

    A. Chernikov and N. Hempel. On n-dependent groups and fields iii. multilinear forms and invariant connected components, 2025

    work page 2025

  51. [52]

    Chernikov and A

    A. Chernikov and A. Mennen. Semi-equational theories. arXiv:2204.13790, 2022

    work page arXiv 2022

  52. [53]

    Chernikov, D

    A. Chernikov, D. Palacin, and K. Takeuchi. On n-dependence. Notre Dame J. Form. Log. , 60(2):195– 214, 2019

    work page 2019

  53. [54]

    Chernikov and P

    A. Chernikov and P. Simon. Externally definable sets and dependent pairs II. Trans. Amer. Math. Soc., 367(7):5217–5235, 2015

    work page 2015

  54. [55]

    Chernikov and S

    A. Chernikov and S. Starchenko. Regularity lemma for distal structures. Journal of the European Mathematical Society, July 2015. 322

    work page 2015

  55. [56]

    CLUCKERS and I

    R. CLUCKERS and I. HALUPCZOK. QUANTIFIER ELIMINATION IN ORDERED ABELIAN GROUPS. Confluentes Mathematici, 03(04):587–615, dec 2011

    work page 2011

  56. [57]

    Stable groups and expansions of $(\mathbb{Z},+,0)$

    G. Conant and A. Pillay. Stable groups and expansions of ( Z, +, 0). Preprint, arXiv:1601.05692, 2016

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  57. [58]

    P. F. Conrad. Regularly ordered groups. Proc. Amer. Math. Soc., 13:726–731, 1962

    work page 1962

  58. [59]

    J. H. Conway. On numbers and games . London Mathematical Society Monographs, No. 6. Academic Press [Harcourt Brace Jovanovich, Publishers], London-New York, 1976

    work page 1976

  59. [60]

    Cubides Kovacsics and F

    P. Cubides Kovacsics and F. Point. Topological fields with a generic derivation. Annals of Pure and Applied Logic, 174(3):103211, 2023

    work page 2023

  60. [61]

    d’Elb´ ee, I

    C. d’Elb´ ee, I. M¨ uller, N. Ramsey, and D. Siniora. Model-theoretic properties of nilpotent groups and lie algebras, 2024

    work page 2024

  61. [62]

    d’Elb´ ee, I

    C. d’Elb´ ee, I. M¨ uller, N. Ramsey, and D. Siniora. A two-sorted theory of nilpotent lie algebras, 2024

    work page 2024

  62. [63]

    F. Delon. Types sur {C}((x)). Groupe d’´ etude de th´ eories stables, 2:1–29, 1978-1979

    work page 1978

  63. [64]

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

    work page 1989

  64. [65]

    F. Delon. C-minimal structures without density assumption. In Motivic integration and its interactions with model theory and non-Archimedean geometry. Volume II, volume 384 ofLondon Math. Soc. Lecture Note Ser., pages 51–86. Cambridge Univ. Press, Cambridge, 2011

    work page 2011

  65. [66]

    Dobrowolski

    J. Dobrowolski. Generic variations and NTP 1. Arch. Math. Logic, 57(7-8):861–871, 2018

    work page 2018

  66. [67]

    Dobrowolski

    J. Dobrowolski. Sets, groups, and fields definable in vector spaces with a bilinear form. Annales de l’Institut Fourier, 73(5):1795–1841, Oct. 2023

    work page 2023

  67. [68]

    Dolich and J

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

    work page

  68. [69]

    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

  69. [70]

    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

  70. [71]

    Dolich, C

    A. Dolich, C. Miller, and C. Steinhorn. Extensions of ordered theories by generic predicates.J. Symbolic Logic, 78(2):369–387, 2013

    work page 2013

  71. [72]

    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

  72. [73]

    Dougherty and C

    R. Dougherty and C. Miller. Definable Boolean combinations of open sets are Boolean combinations of open definable sets. Illinois J. Math. , 45(4):1347–1350, 2001

    work page 2001

  73. [74]

    L. v. d. Dries and A. G¨ unaydın. 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

  74. [75]

    J.-L. Duret. Les corps faiblement alg´ ebriquement clos non s´ eparablement clos ont la propri´ et´ e d’ind´ ependence. InModel theory of algebra and arithmetic (Proc. Conf., Karpacz, 1979) , volume 834 of Lecture Notes in Math. , pages 136–162. Springer, Berlin-New York, 1980

    work page 1979

  75. [76]

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

    work page 2000

  76. [77]

    M. J. Edmundo and M. Otero. Definably compact abelian groups. J. Math. Log., 4(2):163–180, 2004

    work page 2004

  77. [78]

    Eklof and G

    P. Eklof and G. Sabbagh. Model-completions and modules. Annals of Mathematical Logic , 2(3):251– 295, 1971

    work page 1971

  78. [79]

    El-Zahar and N

    M. El-Zahar and N. Sauer. Ramsey-type properties of relational structures. Discrete Mathematics , 94(1):1–10, 1991

    work page 1991

  79. [80]

    Small sets in Mann pairs

    P. Eleftheriou. Small sets in mann pairs. arXiv:1812.07970, 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  80. [81]

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

    work page 2019

Showing first 80 references.