00:00:00 / 00:00:00
5 5

The algebra and model theory of transseries

By Matthias Aschenbrenner

The concept of a "transseries" is a natural extension of that of a Laurent series, allowing for exponential and logarithmic terms. Transseries were introduced in the 1980s by the analyst Écalle and also, independently, by the logicians Dahn and Göring. The germs of many naturally occurring real-valued functions of one variable have asymptotic expansions which are transseries. Since the late 1990s, van den Dries, van der Hoeven, and myself, have pursued a program to understand the algebraic and model-theoretic aspects of this intricate but fascinating mathematical object. A differential analogue of “henselianity" is central to this program. Last year we were able to make a significant step forward, and established a quantifier elimination theorem for the differential field of transseries in a natural language. My goal for this talk is to introduce transseries without prior knowledge of the subject, and to explain our recent work.

Information about the video

Citation data

  • DOI 10.24350/CIRM.V.18739003
  • Cite this video Aschenbrenner, Matthias (26/03/2015). The algebra and model theory of transseries. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.18739003
  • URL https://dx.doi.org/10.24350/CIRM.V.18739003

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Give feedback