2023/11/13 by Aschenbrenner, Matthias, Dries, Lou van den · 1 citation
#Classical Analysis and ODEs (math.CA) #Dynamical Systems (math.DS) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2311.07352
We show that maximal analytic Hardy fields are η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.