Abstract
The differential field of transseries extends the field of real Laurent series and occurs in various contexts: asymptotic expansions, analytic vector fields, and o-minimal structures, to name a few. We give an overview of the algebraic and model-theoretic aspects of this differential field and report on our efforts to understand its elementary theory.
Citation
Matthias Aschenbrenner. Lou van den Dries. Joris van der Hoeven. "Toward a Model Theory for Transseries." Notre Dame J. Formal Logic 54 (3-4) 279 - 310, 2013. https://doi.org/10.1215/00294527-2143898
Information