The group of strong automorphisms of the differential field of transseries
Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven
Abstract
We describe the group of strongly additive automorphisms of the differential field T of transseries as a non-trivial semidirect product. We show that this group is torsion-free and has trivial center, and that many naturally arising differential subfields of T are definably closed in T.
Create a lesson
Related papers
The Logic of Emergence
David H. Wolpert, David C. Krakauer
Escaping and generics over ideals
Laurent Bienvenu, Noam Greenberg, Ludovic Patey et al.
Definably isometric cuboids over Hensel minimal fields
Marcelo Fortmann
A weak λ-set that is not a λ-set under p = c
Alexander V. Osipov, Anton E. Lipin
The Cone Fixing the Reals of $HODM2n(x)
Farmer Schlutzenberg, Connor Watson
Rule extensions of the implication--negation fragment of intuitionistic logic
Tomasz Kowalski, Katarzyna Słomczyńska