Toward a model theory for transseries

Matthias Aschenbrenner, Lou Van Den Dries, Joris Van Der Hoeven

Research output: Contribution to journalArticle

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 languageEnglish (US)
Pages (from-to)279-310
Number of pages32
JournalNotre Dame Journal of Formal Logic
Volume54
Issue number3-4
DOIs
StatePublished - Oct 10 2013

Keywords

  • Differential fields
  • Hardy fields
  • Model completeness
  • NIP
  • Transseries

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'Toward a model theory for transseries'. Together they form a unique fingerprint.

  • Cite this