Logic Seminars

View Full Calendar

Logic Seminar: Lou van den Dries (UIUC)

Event Type
Seminar/Symposium
Sponsor
Department of Mathematics
Location
Altgeld 143
Date
Nov 6, 2024   2:00 - 2:50 pm  
Speaker
Lou van den Dries
Contact
Ben Castle
E-Mail
btcastl2@illinois.edu
Views
21

Title: Transseries and Hardy Fields. 

Abstract: This will be a survey of our work in the last ten years on these topics. No familiarity with transseries or Hardy fields is required, but I mention here that both are natural settings for solving ordinary differential equations and studying their asymptotics (and for much more). Transseries are formal objects, and Hardy fields consist of actual functions (or rather germs of such).  Around 2015 we showed that the differential field of transseries has a good model theory. More recently we showed that sufficiently rich Hardy fields have the same (complete) model theory. 

link for robots only