Coincidence of dimensions in closed ordered differential fields
Abstract
Let $\mathcal K=\langle\mathcal R, \delta\rangle$ be a closed ordered differential field, in the sense of M. Singer, and $C$ its field of constants. In this note, we prove that, for sets definable in the pair $\mathcal M=\langle \mathcal R, C\rangle$, the $\delta$-dimension and the large dimension coincide. As an application, we characterize the definable sets in $\mathcal K$ that are internal to $C$ as those sets that are definable in $\mathcal M$ and have $\delta$-dimension $0$. We further show that, for sets definable in $\mathcal K$, having $\delta$-dimension $0$ does not generally imply co-analyzability in $C$ (in contrast to the case of transseries). We also point out that the coincidence of dimensions also holds in the context of differentially closed fields and in the context of transseries.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2020
- DOI:
- 10.48550/arXiv.2002.12929
- arXiv:
- arXiv:2002.12929
- Bibcode:
- 2020arXiv200212929E
- Keywords:
-
- Mathematics - Logic;
- 03C98;
- 03C60