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

Sélection Signaler une erreur
Multi angle
Auteurs : Aschenbrenner, Matthias (Auteur de la Conférence)
CIRM (Editeur )

Loading the player...

Résumé : 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.

Codes MSC :
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]

    Informations sur la Vidéo

    Réalisateur : Hennenfent, Guillaume
    Langue : Anglais
    Date de publication : 08/04/15
    Date de captation : 26/03/15
    Sous collection : Research talks
    arXiv category : Logic in Computer Science ; Dynamical Systems
    Domaine : Logic and Foundations ; Algebraic & Complex Geometry
    Format : MP4 (.mp4) - HD
    Durée : 01:06:26
    Audience : Researchers
    Download : https://videos.cirm-math.fr/2015-03-26_Aschenbrenner.mp4

Informations sur la Rencontre

Nom de la rencontre : Jean Morlet Chair: Artin approximation and infinite dimensional geometry / Chaire Jean Morlet : approximation de Artin et géométrie en dimension infinie
Organisateurs de la rencontre : Hauser, Herwig ; Rond, Guillaume
Dates : 23/03/15 - 27/03/15
Année de la rencontre : 2015
URL Congrès : https://www.chairejeanmorlet.com/1255.html

Données de citation

DOI : 10.24350/CIRM.V.18739003
Citer cette vidéo: 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

Bibliographie



Sélection Signaler une erreur