论文信息 - H-fields and their Liouville extensions

H-fields and their Liouville extensions

Abstract. We introduce H-fields as ordered differential fields of a certain kind. Hardy fields extending ${\mathbb R}$, as well as the field of logarithmic-exponential series over ${\mathbb R}$ are H-fields. We study Liouville extensions in the category of H-fields, as a step towards a model theory of H-fields. The main result is that an H-field has at most two Liouville closures.

Matthias Aschenbrenner | Matthias Aschenbrenner | Lou van den Dries | L. van den Dries

[1] Angus Macintyre,et al. Logarithmic-exponential series , 2001, Ann. Pure Appl. Log..

[2] Jean Ecalle,et al. Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac , 1992 .

[3] M. Boshernitzan,et al. An extension of hardy’s classL of “orders of infinity” , 1981 .

[4] Maxwell Rosenlicht. Differential extension fields of exponential type. , 1975 .

[5] M. Rosenlicht,et al. The rank of a Hardy field , 1983 .

[6] Maxwell Rosenlicht. On the Value Group of a Differential Valuation II , 1979 .

[7] Lou van den Dries,et al. Closed asymptotic couples , 2000 .

[8] Abraham Robinson. Ordered Differential Fields , 1973, J. Comb. Theory, Ser. A.

[9] L. Chambadal,et al. Fonctions d'une variable rèelle , 1972 .

[10] Hardy fields and existence of transexponential functions , 1986 .