Let T be the differential field of transseries. We establish some basic properties of the dimension of a definable subset of Tn, also in relation to its codimension in the ambient space Tn. The case of dimension 0 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.
|Original language||English (US)|
|Title of host publication||Contemporary Mathematics|
|Publisher||American Mathematical Society|
|Number of pages||17|
|State||Published - 2017|
ASJC Scopus subject areas