Definability of derivations in the reducts of differentially closed fields
Logic
2018-01-19 v4
Abstract
Let be a differentially closed field. We consider the question of definability of the derivation in reducts of of the form where is a collection of definable sets in . We give examples and non-examples and establish some criteria for definability of . Finally, using the tools developed in the paper we prove that under the assumption of inductiveness of model completeness is a necessary condition for definability of . 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