English

Taylor expansions over generalised power series

Logic 2025-09-11 v1 Rings and Algebras

Abstract

We study the existence of formal Taylor expansions for functions defined on fields of generalised series. We prove a general result for the existence and convergence of those expansions for fields equipped with a derivation and an exponential function, and apply this to the case of standard fields of transseries, such as log\log-exp\exp transseries and ω\omega-series.

Keywords

Cite

@article{arxiv.2509.08473,
  title  = {Taylor expansions over generalised power series},
  author = {Vincent Bagayoko and Vincenzo Mantova},
  journal= {arXiv preprint arXiv:2509.08473},
  year   = {2025}
}
R2 v1 2026-07-01T05:29:51.984Z