Dimension in the realm of transseries

Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven

Let $\mathbb{T}$ be the differential field of transseries. We establish some basic properties of the dimension of a definable subset of ${\mathbb{T}}^n$, also in relation to its codi…