arXiv:1112.5237 [math.LO]AbstractReferencesReviewsResources
Towards a Model Theory for Transseries
Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven
Published 2011-12-22, updated 2012-06-12Version 2
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.
Comments: Notre Dame J. Form. Log., to appear; 33 pp
Related articles: Most relevant | Search more
arXiv:1705.00159 [math.LO] (Published 2017-04-29)
Boundedness and absoluteness of some dynamical invariants in model theory
arXiv:1208.0196 [math.LO] (Published 2012-08-01)
Some model theory of SL(2,R)
arXiv:2004.06537 [math.LO] (Published 2020-04-14)
Model Theory for $C_p$-theorists