TY - RPRT TI - Trace definability III: Infinite dimensional space over a model of $T$ AU - Erik Walsberg PY - 2026 UR - https://arxiv.org/abs/2605.12337 ID - 2605.12337 ER -