Analytic Hardy fields
Matthias Aschenbrenner, Lou van den Dries
公開日: 2023/11/13
Abstract
We show that maximal analytic Hardy fields are $\eta_1$ in the sense of Hausdorff. We also prove various embedding theorems about analytic Hardy fields. For example, the ordered differential field $\mathbb T$ of transseries is shown to be isomorphic to an analytic Hardy field.