English

Definability of derivations in the reducts of differentially closed fields

Logic 2018-01-19 v4

Abstract

Let F=(F;+,,0,1,D)\mathcal{F}=(F;+,\cdot,0,1,D) be a differentially closed field. We consider the question of definability of the derivation DD in reducts of F\mathcal{F} of the form FR=(F;+,,0,1,P)PR\mathcal{F}_{R}=(F;+,\cdot,0,1,P)_{P \in R} where RR is a collection of definable sets in F\mathcal{F}. We give examples and non-examples and establish some criteria for definability of DD. Finally, using the tools developed in the paper we prove that under the assumption of inductiveness of Th(FR)Th(\mathcal{F}_{R}) model completeness is a necessary condition for definability of DD. This can be seen as part of a broader project where one is interested in finding Ax-Schanuel type inequalities (or predimension inequalities) for differential equations.

Keywords

Cite

@article{arxiv.1507.00971,
  title  = {Definability of derivations in the reducts of differentially closed fields},
  author = {Vahagn Aslanyan},
  journal= {arXiv preprint arXiv:1507.00971},
  year   = {2018}
}

Comments

34 pages. New results and clarifications in some proofs added