Toward a model theory for R-Hardy fields
Let R be an o-minimal expansion of the real field and let T denote the elementary theory of R. Let H be a Hardy field, that is, an ordered differential field of germs of real-valued unary functions at +∞. Following van den Dries, Macintyre, and Marker, we say that H is an R-Hardy field if H is closed under all R-definable functions. In this talk, I will introduce the class of HT-fields as a framework for studying the model theory of R-Hardy fields. The relationship between R-Hardy fields and HT-fields parallels the relationship between Hardy fields and H-fields (as studied by Aschenbrenner, van den Dries, and van der Hoeven). I will discuss some partial progress toward finding a model companion for the theory of HT-fields when T is polynomially bounded. I'll also mention an embedding result relating Ran,exp-Hardy fields and the field of logarithmic-exponential transseries.