Complete sets in differentially closed fields (Q1975158)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Complete sets in differentially closed fields |
scientific article |
Statements
Complete sets in differentially closed fields (English)
0 references
24 October 2001
0 references
Using basic model theory and differential algebraic geometry, the author studies complete sets in the frame of differential algebraic geometry. Let \((F, \delta)\) be a fixed differentialy closed field of characteristic \(0\), with the field of constants \(C\). All \(\delta\)-varieties are identified with the sets of their \(F\)-points. A \(\delta\)-closed set \(X\) in the projective space \(\mathbb{P}^n\) over \(F\) is \(\delta\)-complete if the second projection \(p_2 : X \times Y \to Y\) is a \(\delta\)-closed map for every quasi-projective \(\delta\)-variety \(Y\). By contrast with the situation in algebraic geometry, the author shows that every \(\delta\)-complete set is affine and is definably isomorphic to a \(\delta\)-complete subset of the affine line. Next he obtains a valuative criterion for \(\delta\)-completeness, and, using this criterion, he obtains Kolchin's result on \(\delta\)-completeness of \(\mathbb{P}^n(C)\) and finds a new family of \(\delta\)-complete sets.
0 references
differentially closed field
0 references
\(\delta\)-complete
0 references
positive quantifier free formula
0 references