A Note on the Axioms for Differentially Closed Fields of Characteristic Zero
暂无分享,去创建一个
Abstract We rework the foundations of the theory of differentially closed fields of characteristic zero in a geometric setting. The “new” axioms will say that ifVis an irreducible variety andWis an irreducible subvariety of the appropriate torsor τ(V) projecting generically ontoV, thenWhas a generic point of the form (a, D(a)).
[1] Lenore Blum. Differentially closed fields: a model-theoretic tour , 1977 .
[2] A. Robinson. Introduction to model theory and to the metamathematics of algebra , 1964 .
[3] I. Shafarevich. Basic algebraic geometry , 1974 .