Towards a Model Theory for Transseries
Logic
2016-02-10 v2 Dynamical Systems
Abstract
The differential field of transseries extends the field of real Laurent series, and occurs in various context: asymptotic expansions, analytic vector fields, 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 first-order theory.
Keywords
Cite
@article{arxiv.1112.5237,
title = {Towards a Model Theory for Transseries},
author = {Matthias Aschenbrenner and Lou van den Dries and Joris van der Hoeven},
journal= {arXiv preprint arXiv:1112.5237},
year = {2016}
}
Comments
Notre Dame J. Form. Log., to appear; 33 pp