TY - RPRT TI - Constructive Proof of Two Characterizations of Arithmetic Equivalence AU - Shaver Phagan PY - 2026 UR - https://arxiv.org/abs/2509.14083 ID - 2509.14083 ER -