Maximal Hardy Fields
arXiv:2304.10846
Abstract
We show that all maximal Hardy fields are elementarily equivalent as differential fields, and give various applications of this result and its proof. We also answer some questions on Hardy fields posed by Boshernitzan.
472 pp. This document is not intended for publication in its current form. V3: reformulated a wrong identity just before 7.6.24, and accordingly corrected some proofs following it