English

Coincidence of dimensions in closed ordered differential fields

Logic 2020-10-12 v2

Abstract

Let K=R,δ\mathcal K=\langle\mathcal R, \delta\rangle be a closed ordered differential field, in the sense of M. Singer, and CC its field of constants. In this note, we prove that, for sets definable in the pair M=R,C\mathcal M=\langle \mathcal R, C\rangle, the δ\delta-dimension and the large dimension coincide. As an application, we characterize the definable sets in K\mathcal K that are internal to CC as those sets that are definable in M\mathcal M and have δ\delta-dimension 00. We further show that, for sets definable in K\mathcal K, having δ\delta-dimension 00 does not generally imply co-analyzability in CC (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.

Keywords

Cite

@article{arxiv.2002.12929,
  title  = {Coincidence of dimensions in closed ordered differential fields},
  author = {Pantelis E. Eleftheriou and Omar Leon Sanchez and Nathalie Regnault},
  journal= {arXiv preprint arXiv:2002.12929},
  year   = {2020}
}
R2 v1 2026-06-23T13:58:08.067Z