On numbers, germs, and transseries

DOI10.1142/9789813272880_0042zbMATH Open1445.03044arXiv1711.06936OpenAlexW2973033276MaRDI QIDQ5122017FDOQ5122017

Joris van der Hoeven, Lou van den Dries, Matthias Aschenbrenner

Publication date: 22 September 2020

Published in: Proceedings of the International Congress of Mathematicians (ICM 2018) (Search for Journal in Brave)

Abstract: 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 $H$-fields provides a common framework for the relevant algebraic structures. We give an exposition of our results on the model theory of $H$-fields, and we report on recent progress in unifying germs, surreal numbers, and transseries from the point of view of asymptotic differential algebra.

Full work available at URL: https://arxiv.org/abs/1711.06936

Recommendations

• Transseries as germs of surreal functions
• Surreal numbers, derivations and transseries
• Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall
• Transseries for beginners
• Transseries, model theory, and Hardy fields

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Differential algebra (12H05) Ordered fields (12J15) Algebraic aspects (differential-algebraic, hypertranscendence, group-theoretical) of ordinary differential equations in the complex domain (34M15) General valuation theory for fields (12J20)

Cited In (7)

• On a differential intermediate value property
• Integration on the surreals
• Surreal substructures
• Filling gaps in Hardy fields
• SURREAL ORDERED EXPONENTIAL FIELDS
• From eventually different functions to pandemic numberings
• Logarithmic hyperseries

This page was built for publication: On numbers, germs, and transseries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5122017)