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

Recognition: 2 theorem links

· Lean Theorem

Trace definability III: Infinite dimensional space over a model of T

Erik Walsberg

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

classification 🧮 math.LO

keywords trace definabilitytrace equivalencemodel theoryinfinite dimensional spacevector spacedefinabilitytheories of interest

0 comments

The pith

For several theories T* of model-theoretic interest, there is a simpler theory T and infinite κ such that T* is trace equivalent to the theory of κ-dimensional space over a model of T.

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

The paper shows that a number of complex theories T* can be understood through their trace equivalence to the theory of infinite-dimensional vector space over a simpler base theory T. Trace equivalence links the definable relations in T* to those arising from the vector space construction, allowing properties to transfer between the two. A reader would care because this reduces the study of intricate model-theoretic structures to simpler ones with an added dimension parameter. The result holds for theories where such a T and κ at least countable exist under standard definitions.

Core claim

We show that for a number of theories T* of model-theoretic interest there is a simpler theory T and κ ≥ ℵ₀ such that T* is trace equivalent to the theory of κ-dimensional space over a model of T.

What carries the argument

Trace equivalence to the theory of κ-dimensional space over a model of T, which encodes the definable sets of T* inside the vector space structure built on T.

If this is right

Definable sets and relations in T* correspond directly to those definable in the vector space theory over T.
Model-theoretic invariants of T* can be read off from invariants of the simpler T combined with the infinite dimension.
Results about vector spaces over models of T lift to statements about T* via the equivalence.
The construction works uniformly for the listed theories of interest whenever κ is infinite.

Where Pith is reading between the lines

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

This reduction suggests a way to measure the complexity of a theory by the simplicity of its base T and the choice of dimension.
It may connect to other reductions in model theory that replace structures with linear or geometric ones.
Similar equivalences could be sought for theories outside the current list to see how far the pattern extends.

Load-bearing premise

The listed theories T* admit a simpler base theory T and an infinite cardinal κ making the trace equivalence hold under the standard definitions used in the field.

What would settle it

A concrete theory T* from the paper's examples for which no simpler T and κ ≥ ℵ₀ exist such that trace equivalence to the corresponding κ-dimensional space theory holds.

read the original abstract

We show that for a number of theories $T^*$ of model-theoretic interest there is a simpler theory $T$ and $\kappa \ge \aleph_0$ such that $T^*$ is trace equivalent to the theory of $\kappa$-dimensional space over a model of $T$.

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.

Desk Editor's Note private letter to a colleague

This paper supplies explicit base theories T and cardinals κ that make several standard model-theoretic T* trace-equivalent to the theory of infinite-dimensional spaces over models of T.

read the letter

This installment gives concrete reductions for a handful of theories T* that model theorists actually care about. It picks a simpler T and an infinite κ, then verifies that the theory of κ-dimensional space over a model of T is trace-equivalent to T* under the definitions carried from the earlier papers in the series. The constructions are direct and the equivalence checks are reported as holding without internal contradictions or unstated assumptions about the vector-space structure.

Referee Report

0 major / 2 minor

Summary. The manuscript shows that for several theories T* of model-theoretic interest there exists a simpler theory T and cardinal κ ≥ ℵ₀ such that T* is trace equivalent to the theory of κ-dimensional vector space over a model of T. Explicit constructions of the base theory T and the cardinal κ are given for the listed T*, with direct verification of the trace equivalence using the definitions carried forward from the prior papers in the series.

Significance. If the result holds, it supplies a concrete reduction of trace-definability questions for the target theories to the simpler setting of infinite-dimensional vector spaces over models of T. The paper's explicit constructions and direct checks against the trace-equivalence relation constitute a clear strength, as they make the claimed equivalences verifiable without additional assumptions. This advances the trace-definability program by furnishing a uniform mechanism for handling infinite-dimensional cases.

minor comments (2)

[Abstract] The abstract asserts the existence of T and κ for 'a number of theories T*' but does not name them; listing the concrete examples (even briefly) would immediately orient readers.
[Introduction] A one-paragraph recap of the precise definition of trace equivalence (including the relevant notions of trace and definability) from the earlier papers in the series would make the verification steps in the main constructions self-contained for readers who have not recently consulted the prior installments.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, recognition of the paper's strengths in providing explicit constructions and direct verifications, and the recommendation of minor revision. No major comments were listed in the report, so we have no specific points requiring response or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity; explicit constructions support the trace equivalence claims

full rationale

The paper's central result consists of explicit constructions of simpler base theories T and cardinals κ for listed T* theories, with direct verification of trace equivalence against prior definitions. No equations or steps reduce the claimed equivalences to fitted parameters or self-definitions by construction. Self-citations to earlier papers in the series provide background definitions but are not load-bearing for the new constructions, which are independently verified. The derivation chain remains self-contained against external model-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The abstract invokes only standard notions of model theory and trace equivalence; no free parameters, ad-hoc axioms, or new entities are introduced.

axioms (1)

standard math Standard definitions and properties of first-order theories, models, and trace equivalence in model theory.
The paper operates entirely within the existing framework of model theory.

pith-pipeline@v0.9.0 · 5324 in / 1150 out tokens · 65794 ms · 2026-05-13T02:32:55.856691+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality alexander_duality_circle_linking unclear
We show that for a number of theories T* ... T* is trace equivalent to the theory of κ-dimensional space over a model of T. ... D_κ(T) be the theory of such structures (M^κ, M, (π_i)_{i<κ})
IndisputableMonolith/Foundation/RealityFromDistinction reality_from_one_distinction unclear
T locally trace defines T* iff D_κ(T) trace defines T* ... examples SCF_{p,e} trace equivalent to D_ℵ₀(ACF_p)

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

[1]

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
[2]

Berenstein, A

A. Berenstein, A. Dolich, and A. Onshuus. The independence property in generalized dense pairs of structures.The Journal of Symbolic Logic, 76(2):391–404, 2011

work page 2011
[3]

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. 25

work page 2021
[4]

Boissonneau, A

B. Boissonneau, A. D. Mase, F. Jahnke, and P. Touchard. Growing spines: Ad infinitum et ad infinites- imalia, 2025

work page 2025
[5]

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
[6]

Classical

K. G. Choo, K. Y. Lam, and E. Luft. On free product of rings and the coherence property. InAlgebraic K-theory, II: “Classical” algebraicK-theory and connections with arithmetic (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), volume Vol. 342 ofLecture Notes in Math., pages 135–143. Springer, Berlin-New York, 1973

work page 1972
[7]

Eklof and G

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

work page 1971
[8]

Fornasiero and E

A. Fornasiero and E. Kaplan. Generic derivations on o-minimal structures.Journal of Mathematical Logic, 21(02):2150007, oct 2020

work page 2020
[9]

Fornasiero and G

A. Fornasiero and G. Terzo. Generic derivations on algebraically bounded structures, 2024

work page 2024
[10]

V. Gould. Model companions of s-systems.Quarterly Journal of Mathematics, 38:189–211, 1987

work page 1987
[11]

V. Gould. Coherent monoids.Journal of the Australian Mathematical Society. Series A. Pure Mathe- matics and Statistics, 53(2):166–182, 1992

work page 1992
[12]

M. Hils, M. Kamensky, and S. Rideau. Imaginaries in separably closed valued fields.Proceedings of the London Mathematical Society, 116(6):1457–1488, 2018

work page 2018
[13]

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
[14]

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
[15]

F. Jahnke. When does nip transfer from fields to henselian expansions?arXiv:1607.02953:, 2019

work page arXiv 2019
[16]

Jeˇ r´ abek

E. Jeˇ r´ abek. Recursive functions and existentially closed structures.Journal of Mathematical Logic, 20(01):2050002, 2020

work page 2020
[17]

Jonsson and A

B. Jonsson and A. Tarski. On two properties of free algebras.Math. Scand., 9:95–101, 1961

work page 1961
[18]

T. McGrail. The model theory of differential fields with finitely many commuting derivations.The Journal of Symbolic Logic, 65(2):885–913, 2000

work page 2000
[19]

Messmer, D

M. Messmer, D. Marker, M. Messmer, and A. Pillay.Some Model Theory of Separably Closed Fields, page 135–152. Lecture Notes in Logic. Cambridge University Press, 2017

work page 2017
[20]

Prest.Model Theory and Modules

M. Prest.Model Theory and Modules. London Mathematical Society Lecture Note Series. Cambridge University Press, 1988

work page 1988
[21]

Prestel and M

A. Prestel and M. Ziegler. Model theoretic methods in the theory of topological fields.J. Reine Angew. Math., 0299 0300:318–341, 1978

work page 1978
[22]

G. Sabbagh. Coherence of polynomial rings and bounds in polynomial ideals.J. Algebra, 31:499–507, 1974

work page 1974
[23]

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

work page 2009
[24]

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
[25]

van den Dries

L. van den Dries. Dimension of definable sets, algebraic boundedness and Henselian fields.Ann. Pure Appl. Logic, 45(2):189–209, 1989. Stability in model theory, II (Trento, 1987)

work page 1989
[26]

van den Dries

L. van den Dries. T-convexity and tame extensions II.Journal of Symbolic Logic, 62(1):14–34, Mar. 1997

work page 1997
[27]

van den Dries

L. van den Dries. Dense pairs of o-minimal structures.Fund. Math., 157(1):61–78, 1998

work page 1998
[28]

van den Dries and A

L. van den Dries and A. H. Lewenberg.T-convexity and tame extensions.J. Symbolic Logic, 60(1):74– 102, 1995

work page 1995
[29]

Wagner.Stable Groups

F. Wagner.Stable Groups. London Mathematical Society Lecture Note Series. Cambridge University Press, 1997

work page 1997
[30]

Walsberg

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

work page 2026
[31]

Walsberg

E. Walsberg. Trace definability II: Model-theoretic linearity, 2026. Email address:erik.walsberg@gmail.com 26

work page 2026