TY - RPRT TI - Definable Functions to Quotients in Ordered Abelian Groups AU - Harper Wells PY - 2026 UR - https://arxiv.org/abs/2604.00122 ID - 2604.00122 ER -