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.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 279-310 |
| Number of pages | 32 |
| Journal | Notre Dame Journal of Formal Logic |
| Volume | 54 |
| Issue number | 3-4 |
| DOIs | |
| State | Published - 2013 |
Keywords
- Differential fields
- Hardy fields
- Model completeness
- NIP
- Transseries
ASJC Scopus subject areas
- Logic