{"id":"arxiv/2604.00122","url":"https://arxiv.org/abs/2604.00122","tags":["math.LO"],"score":0,"title":"Definable Functions to Quotients in Ordered Abelian Groups","domain":"math.LO","source":"arxiv","authors":["Harper Wells"],"reviews":0,"subject":"math.LO","summary":"In this paper we study definable families of functions from an ordered abelian group into various naturally arising definable quotients. We show that for an ordered abelian group $G$ and definable family of convex subgroups $\\{D\\}_{D\\in\\mathcal{D}}$, any definable family of functions $\\{f_D\\} _{D\\in\\mathcal{D}}$ with $f_D:G^d\\rightarrow\\frac{G}{D}$ is uniformly piecewise linear; for a prime $p$, integers $s,r\\geq 1$, and groups $D^{[p^s]}$ defined later, if $f_D:G^d\\rightarrow\\frac{G}{D+p^rG}$ or $f_D:G^d\\rightarrow\\frac{G}{D^{[p^s]}+p^rG}$ we instead obtain that the definable family of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-31","reactions":{}}