English

Constructing Types in Differentially Closed Fields that are Analysable in the Constants

Logic 2017-08-08 v1

Abstract

Analysability of finite UU-rank types are explored both in general and in the theory DCF0\mathrm{DCF}_0. The well-known fact that the equation δ(logδx)=0\delta(\mathrm{log}\delta x)=0 is analysable in but not almost internal to the constants is generalized to show that logδ...logδnx=0\underbrace{\mathrm{log}\delta...\mathrm{log}\delta}_n x=0 is not analysable in the constants in (n1)(n-1)-steps. The notion of a \emph{canonical analysis} is introduced -- namely an analysis that is of minimal length and interalgebraic with every other analysis of that length. Not every analysable type admits a canonical analysis. Using properties of reductions and coreductions in theories with the canonical base property, it is constructed, for any sequence of positive integers (n1,...,n)(n_1,...,n_\ell), a type in DCF0\mathrm{DCF}_0 that admits a canonical analysis with the property that the iith step has UU-rank nin_i.

Keywords

Cite

@article{arxiv.1708.01633,
  title  = {Constructing Types in Differentially Closed Fields that are Analysable in the Constants},
  author = {Ruizhang Jin},
  journal= {arXiv preprint arXiv:1708.01633},
  year   = {2017}
}
R2 v1 2026-06-22T21:07:21.185Z