arXiv Analytics

Sign in

arXiv:1512.02267 [math.LO]AbstractReferencesReviewsResources

The surreal numbers as a universal H-field

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

Published 2015-12-07Version 1

We show that the natural embedding of the differential field of transseries into Conway's field of surreal numbers with the Berarducci-Mantova derivation is an elementary embedding. We also prove that any Hardy field embeds into the field of surreals with the Berarducci-Mantova derivation.

Comments: 17 pp
Categories: math.LO, math.CA, math.RA
Related articles: Most relevant | Search more
arXiv:math/0612234 [math.LO] (Published 2006-12-09)
Recursive definitions on surreal numbers
arXiv:2409.16251 [math.LO] (Published 2024-09-24)
Hyperseries subfields of surreal numbers
arXiv:1812.00051 [math.LO] (Published 2018-11-30)
The Surreal Numbers as an Ordered Commutative Ring with an Apartness: A Development in Univalent Foundations

Links

Toolbox