On Numbers, Germs, and Transseries


Germs of real-valued functions, surreal numbers, and transseries are three ways to enrich the real continuum by infinitesimal and infinite quantities. Each of these comes with naturally interacting notions of ordering and derivative. The category of -fields provides a common framework for the relevant algebraic structures. We give an exposition of our results on the model theory of -fields, and we report on recent progress in unifying germs, surreal numbers, and transseries from the point of view of asymptotic differential algebra.

Occasion: Invited talk at ICM 2018, Rio de Janeiro, Brasil, august 7, 2018

Presentation: Shared with Matthias Aschenbrenner (based on common work with Lou van den Dries)

Documents: slideshow, TeXmacs source