Open Access
2013 Toward a Model Theory for Transseries
Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven
Notre Dame J. Formal Logic 54(3-4): 279-310 (2013). DOI: 10.1215/00294527-2143898

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

Download 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

Published: 2013
First available in Project Euclid: 9 August 2013

zbMATH: 1314.03037
MathSciNet: MR3091660
Digital Object Identifier: 10.1215/00294527-2143898

Subjects:
Primary: 03C10 , 03C64 , 26A12
Secondary: 16W60

Keywords: differential fields , Hardy fields , model completeness , NIP , transseries

Rights: Copyright © 2013 University of Notre Dame

Vol.54 • No. 3-4 • 2013
Back to Top