En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
1

The algebra and model theory of transseries

Bookmarks Report an error
Multi angle
Authors : Aschenbrenner, Matthias (Author of the conference)
CIRM (Publisher )

Loading the player...

Abstract : 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.

MSC Codes :
03C10 - Quantifier elimination and related topics
03C64 - Model theory of ordered structures; o-minimality
26A12 - Rate of growth of functions, orders of infinity, slowly varying functions [See also 26A48]

    Information on the Video

    Film maker : Hennenfent, Guillaume
    Language : English
    Available date : 08/04/15
    Conference Date : 26/03/15
    Subseries : Research talks
    arXiv category : Logic in Computer Science ; Dynamical Systems
    Mathematical Area(s) : Logic and Foundations ; Algebraic & Complex Geometry
    Format : MP4 (.mp4) - HD
    Video Time : 01:06:26
    Targeted Audience : Researchers
    Download : https://videos.cirm-math.fr/2015-03-26_Aschenbrenner.mp4

Information on the Event

Event Title : Jean Morlet Chair: Artin approximation and infinite dimensional geometry / Chaire Jean Morlet : approximation de Artin et géométrie en dimension infinie
Event Organizers : Hauser, Herwig ; Rond, Guillaume
Dates : 23/03/15 - 27/03/15
Event Year : 2015
Event URL : https://www.chairejeanmorlet.com/1255.html

Citation Data

DOI : 10.24350/CIRM.V.18739003
Cite this video as: Aschenbrenner, Matthias (2015). The algebra and model theory of transseries. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.18739003
URI : http://dx.doi.org/10.24350/CIRM.V.18739003

Bibliography



Bookmarks Report an error