Hyperexponentially closed fields

Vincent Bagayoko (1, 2)

1 UMONS - Université de Mons / University of Mons
2 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]

We prove that the derivation and composition on the field L of logarithmic hyperseries of [15] extend to its closure under hyperexponentials. We study the properties of these extensions.

Domaines: Mathématiques [math]; Logique [math.LO]

Vincent Bagayoko. Hyperexponentially closed fields. 2022. ⟨hal-03686767v2⟩