{"id":"arxiv/2603.09423","url":"https://arxiv.org/abs/2603.09423","tags":["math.LO"],"score":0,"title":"A Model Companion for Abelian Lattice-Ordered Groups with a Valuation","domain":"math.LO","source":"arxiv","authors":["John Stokes-Waters"],"reviews":0,"subject":"math.LO","summary":"An abelian lattice-ordered group, or abelian $\\ell$-group, is an abelian group equipped with a compatible lattice ordering. In this paper, we introduce two multi-sorted extensions of abelian lattice-ordered groups inspired by the zero-set maps for continuous functions into R. We demonstrate that this expansion is equivalent to equipping G with a spectral subspace X of $\\ell$-Spec(G), along with the map sending $a \\in G$ to $V(a \\wedge 0) \\cap X$. Using a classical partial quantifier elimination result originally due to Fuxing Shen and Volker Weispfenning, we show that one of these expansions…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-10","reactions":{}}