Definable Eventual Equalizers
逻辑
2026-06-28 v1 交换代数
经典分析与常微分方程
摘要
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.
引用
@article{arxiv.2606.29642,
title = {Definable Eventual Equalizers},
author = {Julian Ziegler Hunts},
journal= {arXiv preprint arXiv:2606.29642},
year = {2026}
}
备注
46 pages, 3 figures