TY - RPRT TI - Definability from Factorised Symmetry in Ultrapowers AU - Mike Stannett PY - 2026 UR - https://arxiv.org/abs/2607.29366 ID - 2607.29366 ER -