{"id":"arxiv/2606.29642","url":"https://arxiv.org/abs/2606.29642","tags":["math.LO","math.AC","math.CA"],"score":0,"title":"Definable Eventual Equalizers","domain":"math.LO","source":"arxiv","authors":["Julian Ziegler Hunts"],"reviews":0,"subject":"math.LO","summary":"The solutions of algebraic differential equations in certain valued differential fields, including the differential field of transseries, can be analyzed using a Newton diagram method. In this paper, we show that (eventual) equalizers, a crucial part of this process, can be obtained uniformly and definably from the coefficients of the input differential polynomials. We also obtain similar definability results for a certain compositional conjugation which is used repeatedly as an intermediate simplification step.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-28","reactions":{}}