Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, O. Finkel, A. Khélif, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion

Orateur(s) Eliott Kaplan - University of Illinois at Urbana-Champaign,
Titre Model completeness for the differential field of transseries with exponentiation
Horaire16:00 à 17:15

 I will discuss the expansion of the differential field of logarithmic-exponential transseries by its natural exponential function. This expansion is model complete and locally o-minimal. I give an axiomatization of the theory of this expansion that is effective relative to the theory of the real exponential field. These results build on Aschenbrenner, van den Dries, and van der Hoeven's model completeness result for the differential field of transseries. My method can be adapted to show that the differential field of transseries with its restricted sine and cosine and its unrestricted exponential is also model complete and locally o-minimal.

AdresseSophie Germain