Dimension in the realm of transseries


Let be the differential field of transseries. We establish some basic properties of the dimension of a definable subset of , also in relation to its codimension in the ambient space . The case of dimension is of special interest, and can be characterized both in topological terms (discreteness) and in terms of the Herwig-Hrushovski-Macpherson notion of co-analyzability.

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

View: Pdf, BibTeX