The theory of maximal Hardy fields
arXiv:2408.05232
Abstract
We show that all maximal Hardy fields are elementarily equivalent as differential fields to the differential field of transseries, and give various applications of this result and its proof.
80 pp; extracted for publication from arXiv:2304.10846