Constructing Types in Differentially Closed Fields that are Analysable in the Constants
Logic
2017-08-08 v1
Abstract
Analysability of finite -rank types are explored both in general and in the theory . The well-known fact that the equation is analysable in but not almost internal to the constants is generalized to show that is not analysable in the constants in -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 , a type in that admits a canonical analysis with the property that the th step has -rank .
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}
}