<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>
Abstract This paper is part of the model theory of fields of characteristic 0, equipped with m commuting derivation operators ( DCF 0 , m ). It continues to partial differential fields work begun by Wai-Yan Pong, who treated the case m = 1 . We study the concept of completeness in differential algebraic geometry, applying methods of model theory and differential algebra. Our central tool in applying the valuative criterion developed in differential algebra by E.R. Kolchin, Peter Bloom, and Sally Morrison is a fundamental theorem in classical elimination theory due to the model theorist Lou van den Dries. We use this valuative criterion to give a new family of complete differential algebraic varieties. In addition to completeness, we prove some embedding theorems for differential algebraic varieties of arbitrary differential transcendence degree. As a special case, we show that every differential algebraic subvariety of the projective line which has Lascar rank less than ω m can be embedded in the affine line.
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 6 | |
popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |