TY - RPRT TI - Trace definability I: preservation and characterizations AU - Erik Walsberg PY - 2026 UR - https://arxiv.org/abs/2504.05566 ID - 2504.05566 ER -