Definability of derivations in the reducts of differentially closed fields
Abstract
Let $\mathcal{F}=(F;+,\cdot,0,1,D)$ be a differentially closed field. We consider the question of definability of the derivation $D$ in reducts of $\mathcal{F}$ of the form $\mathcal{F}_{R}=(F;+,\cdot,0,1,P)_{P \in R}$ where $R$ is a collection of definable sets in $\mathcal{F}$. We give examples and non-examples and establish some criteria for definability of $D$. Finally, using the tools developed in the paper we prove that under the assumption of inductiveness of $Th(\mathcal{F}_{R})$ model completeness is a necessary condition for definability of $D$. 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2015
- DOI:
- arXiv:
- arXiv:1507.00971
- Bibcode:
- 2015arXiv150700971A
- Keywords:
-
- Mathematics - Logic;
- 03C10;
- 03C60;
- 12H05;
- 12H20;
- 13N15
- E-Print:
- 34 pages. New results and clarifications in some proofs added