Liouville closed \(H_T\)-fields (Q6038506)
From MaRDI portal
scientific article; zbMATH DE number 7681076
Language | Label | Description | Also known as |
---|---|---|---|
English | Liouville closed \(H_T\)-fields |
scientific article; zbMATH DE number 7681076 |
Statements
Liouville closed \(H_T\)-fields (English)
0 references
2 May 2023
0 references
A \textit{Hardy field} is an ordered differential field of germs at \(+\infty\) of unary real-valued functions. The class of Hardy fields is not elementary, therefore \textit{M. Aschenbrenner} and \textit{L. van den Dries} considered in [Math. Z. 242, No. 3, 543--588 (2002; Zbl 1066.12002)] a natural elementary class of \textit{\(H\)-fields}, which contains the class of Hardy fields. \textit{M. Aschenbrenner} et al. [Asymptotic differential algebra and model theory of transseries. Princeton, NJ: Princeton University Press (2017; Zbl 1430.12002)] proved that the theory of \(H\)-fields has a model companion and that the theory of \(H\)-fields with ``small derivations'' has a model companion as well, which coincides with the theory of the field of logarithmic-exponential transseries. In the paper under review, the author considers \(H\)-fields equipped with an additional o-minimal structure. This additional structure is given in a natural way by a complete, model complete o-minimal theory \(T\) which extends the theory of real closed ordered fields and the corresponding structures are called \textit{\(H_T\)-fields}. Important examples of \(H_T\)-fields are \(\mathcal{R}\)-Hardy fields (introduced in [\textit{L. van den Dries} et al., Ann. Math. (2) 140, No. 1, 183--205 (1994; Zbl 0837.12006)]) and expansions of the field of logarithmic-exponential transseries. The long-term project of the author is to show that the theory of \(H_T\)-fields has a model companion (under the assumption that \(T\) is itself model complete). In this paper, the author provides an important step towards the above long-term project by showing the existence and uniqueness of the appropriate \(T\)-Liouville closures.
0 references
o-minimality
0 references
transseries
0 references
valued fields
0 references
differential fields
0 references
Hardy fields
0 references