1,291 research outputs found
Geometric Axioms for Differentially Closed Fields with Several Commuting Derivations
A geometric first-order axiomatization of differentially closed fields of
characteristic zero with several commuting derivations, in the spirit of
Pierce-Pillay, is formulated in terms of a relative notion of prolongation for
Kolchin-closed sets
Some definable Galois theory and examples
We make explicit certain results around the Galois correspondence in the
context of definable automorphism groups, and point out the relation to some
recent papers dealing with the Galois theory of algebraic differential
equations when the constants are not "closed" in suitable senses. We also
improve the definitions and results on generalized strongly normal extensions.Comment: arXiv admin note: text overlap with arXiv:1309.633
- …