On numbers, germs, and transseries

2017/11/18 by Aschenbrenner, Matthias, Dries, Lou van den, van der Hoeven, Joris · 1 citation
#03C64 #Classical Analysis and ODEs (math.CA) #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1711.06936

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.

Cited by

• Maximality Axioms and the Principle of Plenitude

Related

• The surreal numbers as a universal H-field
• Surreal fields stable under exponential, logarithmic, derivative and anti-derivative functions
• Surreal numbers, exponentiation and derivations
• The hyperserial field of surreal numbers
• Surreal numbers as hyperseries