{"id":"arxiv/2605.12337","url":"https://arxiv.org/abs/2605.12337","tags":["math.LO"],"score":0,"title":"Trace definability III: Infinite dimensional space over a model of $T$","domain":"math.LO","source":"arxiv","authors":["Erik Walsberg"],"reviews":0,"subject":"math.LO","summary":"We show that for a number of theories $T^*$ of model-theoretic interest there is a simpler theory $T$ and $κ\\ge \\aleph_0$ such that $T^*$ is trace equivalent to the theory of $κ$-dimensional space over a model of $T$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-12","reactions":{}}