Logo

Mathematical Sciences Research Institute

Home » Logic Colloquium: The Differential Field of Transseries

Seminar

Logic Colloquium: The Differential Field of Transseries April 25, 2014 (04:10 PM PDT - 05:00 PM PDT)
Location: UC Berkeley, 60 Evans Hall
Speaker(s) Lou van den Dries (University of Illinois at Urbana-Champaign)
Description No Description

Video
No Video Uploaded
Abstract/Media

Transseries originated some 25 years ago, mainly in Ecalle's work, but also independently in the study of Tarski's problem on the field of reals with exponentiation. Some 20 years ago I formulated some conjectures about the differential field of transseries, and started exploring its model-theoretic properties, first jointly with Matthias Aschenbrenner, and a few years later also in collaboration with Joris van der Hoeven. Around 2011 we finally saw a clear path towards a proof, sharpening the conjectures in the meantime. In the last few weeks we finished the job, with one proviso: as part of a division of labor and for lack of time, some final details have only been checked by some of us, but not yet by all three of us. In any case, I will motivate these conjectures, and give an account of their status.

No Notes/Supplements Uploaded No Video Files Uploaded